Modus Ponendo Ponens/Sequent Form/Proof 1