Hypothetical 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)))
(Exists x ((CAT x) & (LIKES x ROVER) =>