Modus Ponendo Ponens/Variant 3/Proof 1