Правила
if gives_milk(X) then mammal(X).
if has_feathers(X) and lays_eggs(X) then bird(X).
if has_gills(X) and lays_eggs(X) then fish(X).
if bird(X) and not penguin(X) then flies(X).
if fish(X) then lives(X,sea).
if mammal(X) or fish(X) or bird(X) then homeothermic(X).
if mammal(X) and can_speak(X) then human(X).
if bird(X) and can_speak(X) then parrot(X).