CISC 204 Sequent Generator
((((P∧T)∧Q)∧¬¬R)∨((P∧T)∧Q)) ⊢ ¬¬((((P∧T)∧Q)∧¬¬R)∨((P∧T)∧Q))