結果 : deductive inference rules