sylancr Show Code edit
## Syllogism
thm (sylancr () (sylancr.1 (-> (/\ ph ps) ch) sylancr.2 ph sylancr.3 (-> th ps)) (-> th ch) sylancr.1 sylancr.2 th a1i sylancr.3 sylanc)
(-> th ch)
edit