結果 : symbolic logic inference rules