Modus Ponendo Tollens/Sequent Form