sylan2 Show Code edit
## Syllogism
thm (sylan2 () (sylan.1 (-> (/\ ph ps) ch) sylan2.2 (-> th ps)) (-> (/\ ph th) ch) sylan.1 ex sylan2.2 syl5 imp)
(-> (/\ ph th) ch)
edit