mal is(tiger) positive(has, tawny colo positive(has, black stripes) animal is(giraffe is(ungulate) positive(has, long neck positive(has, long legs) positive (has, dark spots animal is(zebra) (ungulate) ive(has, black stripes) animal is(ostrich) it is(bird) negative(does, fly positive(has, long neck) positive(has, long legs positive(has, black and white color animal is(penguin) t is(bird) negative(does, fly) positive(does, swim) positive(has, black and white color animal is(albatros t is(bird) itive(does, fly well) t is(mammal) positive(has, hair) positive(does, give milk) it is (bird) positive(has, feathers it is (bird) positive(does, lay eggs positive( does, eat meat (carnivore) positive(has, pointed teeth) positive(has, claws positive(has, forward eyes) it is(ungulate): it is(mammal)5 animal_is(tiger):- it_is(carnivore), positive(has, tawny_color), positive(has, black_stripes). animal_is(giraffe):- it_is(ungulate), positive(has, long_neck), positive(has, long_legs), positive(has, dark_spots). animal_is(zebra):- it_is(ungulate), positive(has, black_stripes). animal_is(ostrich):- it_is(bird), negative(does, fly), positive(has, long_neck), positive(has, long_legs), positive(has, black_and_white_color). animal_is(penguin):- it_is(bird), negative(does, fly), positive(does, swim), positive(has, black_and_white_color). animal_is(albatross):- it_is(bird), positive(does, fly_well). it_is(mammal):- positive(has, hair). it_is(mammal):- positive(does, give_milk). it_is(bird):- positive(has, feathers). it_is(bird):- positive(does, fly), positive(does, lay_eggs). it_is(carnivore):- positive(does, eat_meat). it_is(carnivore):- it_is(mammal), positive(has, pointed_teeth), positive(has, claws), positive(has，forward_eyes). it_is(ungulate):- it_is(mammal)