syland Show Code edit
## Syllogism
thm (syland () (syland.1 (-> ph (-> (/\ ps ch) th)) syland.2 (-> ph (-> ta ps))) (-> ph (-> (/\ ta ch) th)) syland.2 syland.1 exp3a syld imp3a)
(-> ph (-> (/\ ta ch) th))
edit