(note TQG30)  ;; boolean version

;; Equality reasoning.

(time 900)

(instance Class30-1 Class)
(subclass Class30-1 Reptile)
(subclass Reptile Class30-1)

(query (equal Class30-1 Reptile))

(answer yes)


;; Answer 1. [yes]

;; 1. 	(not
;;     (equal Class30-1 Reptile))	[Negated Query]	
;; 2. 	(not
;;     (equal Class30-1 Reptile))	1 	
;; 3. 	(subclass Class30-1 Reptile)	[KB]	
;; 4. 	(subclass Class30-1 Reptile)	3 	
;; 5. 	(=>
;;     (subclass ?X403 ?X404)
;;     (and
;;         (instance ?X403 SetOrClass)
;;         (instance ?X404 SetOrClass)))	[KB]	
;; 6. 	(or
;;     (instance ?X0 SetOrClass)
;;     (not
;;         (subclass ?X0 ?X1)))	5 	
;; 7. 	(or
;;     (instance ?X1 SetOrClass)
;;     (not
;;         (subclass ?X0 ?X1)))	5 	
;; 8. 	(subclass Reptile Class30-1)	[KB]	
;; 9. 	(subclass Reptile Class30-1)	8 	
;; 10. 	(forall (?X0 ?X1)
;;     (=>
;;         (and
;;             (instance ?X1 SetOrClass)
;;             (instance ?X0 SetOrClass))
;;         (=>
;;             (and
;;                 (subclass ?X0 ?X1)
;;                 (subclass ?X1 ?X0))
;;             (equal ?X0 ?X1))))	[KB]	
;; 11. 	(or
;;     (equal ?X0 ?X1)
;;     (not
;;         (subclass ?X1 ?X0))
;;     (not
;;         (subclass ?X0 ?X1))
;;     (not
;;         (instance ?X0 SetOrClass))
;;     (not
;;         (instance ?X1 SetOrClass)))	10 	
;; 12. 	(equal Reptile Class30-1)	4 6 7 9 11 	
;; 13. 	True	2 12