Modus Tollendo Ponens/Sequent Form