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