Modus Tollendo Ponens/Sequent Form/Case 1