simplll Show Code edit
## Simplify: Remove three conjuncts
thm (simplll () () (-> (/\ (/\ (/\ ph ps) ch) th) ph) ph ps pm3.26 ch th ad2antrr)
(-> (/\ (/\ (/\ ph ps) ch) th) ph)
edit