問い合わせた結果:

19 ?- likes(john,snakes).
Yes
20 ?- eats(sue,snakes).
No　←！？
21 ?- eats(tom,snakes).
Yes
22 ?- food(X).
X = apples ;
X = oysters ;
X = snakes ;
No

トムが蛇を食べるんだからスーも食べますよね？
なぜスーは食べないんでせう？