;;;; -*- mode:Lisp; package:user -*- ;;;;
;;;; Created: 24 October 1992
;;;; Purpose: Test Reference File

Zookeeper rules recorded.
Swifty's characteristics recorded:
(SWIFTY HAS HAIR) 
(SWIFTY HAS POINTED TEETH) 
(SWIFTY HAS CLAWS) 
(SWIFTY HAS FORWARD-POINTING EYES) 
(SWIFTY HAS TAWNY COLOR) 
(SWIFTY HAS DARK SPOTS) 
Trying to establish SWIFTY IS A CHEETAH using rule Z9.
Trying to establish SWIFTY IS A CARNIVORE using rule Z5.
Trying to establish SWIFTY IS A MAMMAL using rule Z1.
Rule Z1 establishes SWIFTY IS A MAMMAL.
Trying to establish SWIFTY IS A MAMMAL using rule Z2.
Rule Z2 fails to establish SWIFTY IS A MAMMAL.
Rule Z5 fails to establish SWIFTY IS A CARNIVORE.
Trying to establish SWIFTY IS A CARNIVORE using rule Z6.
Trying to establish SWIFTY IS A MAMMAL using rule Z1.
Rule Z1 establishes SWIFTY IS A MAMMAL.
Rule Z6 establishes SWIFTY IS A CARNIVORE.
Rule Z9 establishes SWIFTY IS A CHEETAH.
Evidently SWIFTY IS A CHEETAH is true.
Splashy's characteristics recorded:
(SPLASHY HAS FEATHERS) 
(SPLASHY LAYS EGGS) 
(SPLASHY DOES NOT FLY) 
(SPLASHY IS BLACK AND WHITE) 
(SPLASHY SWIMS) 
Trying to establish SPLASHY IS A OSTRICH using rule Z13.
Trying to establish SPLASHY IS A BIRD using rule Z3.
Rule Z3 establishes SPLASHY IS A BIRD.
Trying to establish SPLASHY IS A BIRD using rule Z4.
Rule Z4 fails to establish SPLASHY IS A BIRD.
Rule Z13 fails to establish SPLASHY IS A OSTRICH.
Evidently SPLASHY IS A OSTRICH is false.
Trying to establish SPLASHY IS A PENGUIN using rule Z14.
Trying to establish SPLASHY IS A BIRD using rule Z3.
Rule Z3 establishes SPLASHY IS A BIRD.
Rule Z14 establishes SPLASHY IS A PENGUIN.
Evidently SPLASHY IS A PENGUIN is true.
Sandy's characteristics recorded:
(SANDY HAS LONG LEGS) 
(SANDY HAS LONG NECK) 
(SANDY HAS FEATHERS) 
(SANDY LAYS EGGS) 
(SANDY DOES NOT FLY) 
(SANDY IS BLACK AND WHITE) 
(SANDY SWIMS) 
Trying to establish SANDY IS A OSTRICH using rule Z13.
Trying to establish SANDY IS A BIRD using rule Z3.
Rule Z3 establishes SANDY IS A BIRD.
Rule Z13 establishes SANDY IS A OSTRICH.
Evidently SANDY IS A OSTRICH is true.