
(

(PAIL-LIB:RULE-SET "zoo-frules"

(


(Z1 (IF ((HAIRY ?X))) (THEN (MAMMAL ?X)) (TYPE NIL) (DOC NIL) (DATE 180892))

(Z2 (IF ((SUCKLES ?X))) (THEN (MAMMAL ?X)) (TYPE NIL) (DOC NIL) (DATE 180892))

(Z3 (IF ((FEATHERS ?X))) (THEN (BIRD ?X)) (TYPE NIL) (DOC NIL) (DATE 180892))

(Z4 (IF ((FLIES ?X)(EGGS ?X))) (THEN (BIRD ?X)) (TYPE NIL) (DOC NIL) (DATE 180892))

(Z5 (IF ((MAMMAL ?X)(EATS ?X MEAT))) (THEN (CARNIVORE ?X)) (TYPE NIL) (DOC NIL) (DATE 180892))

(Z6 (IF ((MAMMAL ?X)(FOOT-TYPE ?X CLAWS))) (THEN (CARNIVORE ?X)) (TYPE NIL) (DOC NIL) (DATE 180892))

(Z7 (IF ((MAMMAL ?X)(FOOT-TYPE ?X HOOVES))) (THEN (UNGULATE ?X)) (TYPE NIL) (DOC NIL) (DATE 180892))

(Z8 (IF ((MAMMAL ?X)(CHEWS-CUD ?X))) (THEN (UNGULATE ?X)) (TYPE NIL) (DOC NIL) (DATE 180892))

(Z9 (IF ((CARNIVORE ?X)(TAWNY ?X)(SPOTS ?X))) (THEN (CHEETAH ?X)) (TYPE NIL) (DOC NIL) (DATE 180892))

(Z10 (IF ((CARNIVORE ?X)(TAWNY ?X)(STRIPES ?X))) (THEN (TIGER ?X)) (TYPE NIL) (DOC NIL) (DATE 180892))

(Z11 (IF ((UNGULATE ?X)(LONG-LEGS ?X)(LONG-NECK ?X))) (THEN (GIRAFFE ?X)) (TYPE NIL) (DOC NIL) (DATE 180892))

(Z12 (IF ((UNGULATE ?X)(WHITE ?X)(STRIPES ?X)) (THEN (ZEBRA ?X)) (TYPE NIL) (DOC NIL) (DATE 180892))

(Z13 (IF ((BIRD ?X)(FLIGHTLESS ?X)(LONG-NECK ?X))) (THEN (OSTRICH ?X)) (TYPE NIL) (DOC NIL) (DATE 180892))

(Z14 (IF ((BIRD ?X)(FLIGHTLESS ?X)(SWIMS ?X))) (THEN (PENGUIN ?X)) (TYPE NIL) (DOC NIL) (DATE 180892))

(Z15 (IF ((BIRD ?X)(LARGE ?X))) (THEN (ALBATROSS ?X)) (TYPE NIL) (DOC NIL) (DATE 180892))







))

)
