CISC 204 Sequent Generator

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