CISC 204 Sequent Generator

(((T→P)→S)∧¬((S→Q)∧T)) ⊢ ((¬S→¬(T→P))∧¬((S→Q)∧T))