結果 : inference rules for propositional logic examples