CISC 204 Sequent Generator
(((T→P)→S)∧¬((S→Q)∧T)) ⊢ ((¬S→¬(T→P))∧¬((S→Q)∧T))