Modus Tollendo Ponens/Sequent Form/Case 1/Proof 1