Head of a Horse
(Click "Prove" to run)
Premises:
;All horses are animals. (forall ?X (=> (horse ?X) (animal ?X)))
Conclusion:
; Prove that this formula is entailed by the premise. ; The head of a horse is the head of an animal. (forall (?X ?Y) (=> (and (horse ?Y) (headOf ?X ?Y)) (exists ?Z (and (animal ?Z) (horse ?Z) (= ?Y ?Z) (headOf ?X ?Z)))))
Proof Trace