sylanb Show Code edit
## Syllogism
thm (sylanb () (sylan.1 (-> (/\ ph ps) ch) sylanb.2 (<-> th ph)) (-> (/\ th ps) ch) sylan.1 sylanb.2 biimpi sylan)
(-> (/\ th ps) ch)
edit