CISC 204 Sequent Generator

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