(note TQG29)  ;; boolean version

;; Equality reasoning.

(instance Frog29-1 Amphibian)
(instance Animal29-1 Animal)

(equal Frog29-1 Animal29-1)

(query (instance Animal29-1 Amphibian))

(answer yes)


;; Answer 1. [yes]

;; 1. 	(not
;;     (instance Animal29-1 Amphibian))	[Negated Query]	
;; 2. 	(not
;;     (instance Animal29-1 Amphibian))	1 	
;; 3. 	(equal Frog29-1 Animal29-1)	[KB]	
;; 4. 	(equal Frog29-1 Animal29-1)	3 	
;; 5. 	(not
;;     (instance Frog29-1 Amphibian))	2 4 	
;; 6. 	(instance Frog29-1 Amphibian)	[KB]	
;; 7. 	(instance Frog29-1 Amphibian)	6 	
;; 8. 	True	5 7