(note TQG25)  ;; boolean version

;; Case elimination.
;; (partition Organism Animal Plant Microorganism)

(instance Organism25-1 Organism)
(not (instance Organism25-1 Microorganism))
(not (instance Organism25-1 Animal))

(query (instance Organism25-1 Plant))

(answer yes)


;; Fails, need an axiom to capture process of elimination