hasfur(kat) :- nothaswings(kit).
haswings(kit) :- nothasfur(kat).
mammal(X) :- hasfur(X).
hasfur(y1).
bird(x1).
nothaswings(Y) :- fish(Y).
fish(kit).