結果 : example of implication logic