warm_blooded(penguin).
warm_blooded(cow).

lay_eggs(penguin).
produce_milk(cow).

have_feathers(penguin).
have_hair(cow).

mammal(X) :- warm_blooded(X), produce_milk(X), have_hair(X).
bird(X) :- \+ mammal(X).
