simplrr Show Code edit
## Simplify: Remove three conjuncts
thm (simplrr () () (-> (/\ (/\ ph (/\ ps ch)) th) ch) ps ch pm3.27 ph th ad2antlr)
(-> (/\ (/\ ph (/\ ps ch)) th) ch)
edit