IF
gives ?x milk
THEN
is ?x mammal
#####
IF
has ?x feathers
flies ?x nil
lays ?x eggs
THEN
is ?x bird
#####
IF
eats ?x meat
is ?x mammal
THEN
is ?x carnivore
#####
IF
has ?x stripes
is ?x carnivore
THEN
is ?x tiger
#####
WM
has hobbes stripes
eats hobbes meat
has tweety feathers
gives hobbes milk
flies tweety nil
#####
CONJECTURES
is hobbes tiger
is tweety mammal