Modus Tollendo Tollens/Sequent Form/Proof 2