推論規則の対称性