Modus Ponendo Ponens/Variant 1/Proof 1