CISC 204 Sequent Generator

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