結果 : all logical inference rules