prolog
buta(tadanobuta).
buta(kurenainobuta).
fly(kurenainobuta).
tobanaibuta(X):-buta(X),not(fly(X)).
?- tobanaibuta(X).
X = tadanobuta .
buta(tadanobuta).
buta(kurenainobuta).
fly(kurenainobuta).
tobanaibuta(X):-buta(X),not(fly(X)).
?- tobanaibuta(X).
X = tadanobuta .