結果 : implication examples logic