Modus Ponendo Ponens/Variant 2/Proof 1