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