>30 Noになるとは考えられない。
最後の節 eats(sue,X) :- eats(tom,X). は
本当にassertされているだろうか。