Generic (Intensional) Answers
(all x ((calico x) => (cat x)))
((horse rover) or (dog rover))
(all x (all y (((cat x) & (dog y)) => (likes x y))))
(all x (all y (((cat x) & (horse y)) => (~ (likes x y)))))
Query: (exists x (likes fluffy x)))
Answer: (All x ((DOG x) =>