結果 : modal logic inference rules