結果 : predicate logic inference rules