imim2 Show Code edit
## Syllogism (Closed Form)
thm (imim2 () () (-> (-> ph ps) (-> (-> ch ph) (-> ch ps)))
ch ph ps ax-2 himp1i)
(-> (-> ph ps) (-> (-> ch ph) (-> ch ps)))
edit