nsyld Show Code edit
## Negated Syllogism
thm (nsyld () (1 (-> ph (-> ps (-. ch))) 2 (-> ph (-> ta ch)))
(-> ph (-> ps (-. ta)))
1 2 con3d syld)
(-> ph (-> ps (-. ta)))
edit