(note TQG5)  ;; boolean version

(time 300)

(instance Lizard5-1 Class)
(instance Organism5-1 Lizard5-1)

(instance Class5-1 Class)
(subclass Class5-1 Organism)
(instance Class5-2 Class)
(subclass Class5-2 Organism)
(instance Class5-3 Class)
(subclass Class5-3 Organism)
(instance Class5-4 Class)
(subclass Class5-4 Organism)
(instance Class5-5 Class)
(subclass Class5-5 Organism)
(instance Class5-6 Class)
(subclass Class5-6 Organism)
(instance Class5-7 Class)
(subclass Class5-7 Organism)
(instance Class5-8 Class)
(subclass Class5-8 Organism)
(instance Class5-9 Class)
(subclass Class5-9 Organism)
(instance Class5-10 Class)
(subclass Class5-10 Organism)
(equal Class5-1 Class5-2)
(equal Class5-2 Class5-3)
(equal Class5-3 Class5-4)
(equal Class5-4 Class5-5)
(equal Class5-5 Class5-6)
(equal Class5-6 Class5-7)
(equal Class5-7 Class5-8)
(equal Class5-8 Class5-9)
(equal Class5-9 Class5-10)

(subclass Lizard5-1 Class5-1)
(subclass Class5-10 Reptile)

(query (instance Organism5-1 Animal))

(answer yes)


;; Answer 1. [yes]

;; 1. 	(not
;;     (instance Organism5-1 Animal))	[Negated Query]	
;; 2. 	(not
;;     (instance Organism5-1 Animal))	1 	
;; 3. 	(subclass ColdBloodedVertebrate Animal)	[KB]	
;; 4. 	(subclass ColdBloodedVertebrate Animal)	3 	
;; 5. 	(=>
;;     (subclass ?X403 ?X404)
;;     (and
;;         (instance ?X403 SetOrClass)
;;         (instance ?X404 SetOrClass)))	[KB]	
;; 6. 	(or
;;     (instance ?X1 SetOrClass)
;;     (not
;;         (subclass ?X0 ?X1)))	5 	
;; 7. 	(or
;;     (instance ?X0 SetOrClass)
;;     (not
;;         (subclass ?X0 ?X1)))	5 	
;; 8. 	(=>
;;     (and
;;         (instance ?X403 SetOrClass)
;;         (instance ?X404 SetOrClass))
;;     (=>
;;         (and
;;             (subclass ?X403 ?X404)
;;             (instance ?X405 ?X403))
;;         (instance ?X405 ?X404)))	[KB]	
;; 9. 	(or
;;     (instance ?X2 ?X1)
;;     (not
;;         (instance ?X2 ?X0))
;;     (not
;;         (subclass ?X0 ?X1))
;;     (not
;;         (instance ?X1 SetOrClass))
;;     (not
;;         (instance ?X0 SetOrClass)))	8 	
;; 10. 	(or
;;     (not
;;         (subclass ?X0 ?X1))
;;     (not
;;         (instance ?X2 ?X0))
;;     (instance ?X2 ?X1))	6 7 9 	
;; 11. 	(or
;;     (instance ?X0 Animal)
;;     (not
;;         (instance ?X0 ColdBloodedVertebrate)))	4 10 	
;; 12. 	(not
;;     (instance Organism5-1 ColdBloodedVertebrate))	2 11 	
;; 13. 	(instance Organism5-1 Class5-1)	[KB]	
;; 14. 	(instance Organism5-1 Class5-1)	13 	
;; 15. 	(equal Class5-9 Class5-10)	[KB]	
;; 16. 	(equal Class5-9 Class5-10)	15 	
;; 17. 	(equal Class5-8 Class5-9)	[KB]	
;; 18. 	(equal Class5-8 Class5-9)	17 	
;; 19. 	(equal Class5-8 Class5-10)	16 18 	
;; 20. 	(equal Class5-7 Class5-8)	[KB]	
;; 21. 	(equal Class5-7 Class5-8)	20 	
;; 22. 	(equal Class5-7 Class5-10)	19 21 	
;; 23. 	(equal Class5-6 Class5-7)	[KB]	
;; 24. 	(equal Class5-6 Class5-7)	23 	
;; 25. 	(equal Class5-6 Class5-10)	22 24 	
;; 26. 	(equal Class5-5 Class5-6)	[KB]	
;; 27. 	(equal Class5-5 Class5-6)	26 	
;; 28. 	(equal Class5-5 Class5-10)	25 27 	
;; 29. 	(equal Class5-4 Class5-5)	[KB]	
;; 30. 	(equal Class5-4 Class5-5)	29 	
;; 31. 	(equal Class5-4 Class5-10)	28 30 	
;; 32. 	(equal Class5-3 Class5-4)	[KB]	
;; 33. 	(equal Class5-3 Class5-4)	32 	
;; 34. 	(equal Class5-3 Class5-10)	31 33 	
;; 35. 	(equal Class5-2 Class5-3)	[KB]	
;; 36. 	(equal Class5-2 Class5-3)	35 	
;; 37. 	(equal Class5-2 Class5-10)	34 36 	
;; 38. 	(equal Class5-1 Class5-2)	[KB]	
;; 39. 	(equal Class5-1 Class5-2)	38 	
;; 40. 	(equal Class5-1 Class5-10)	37 39 	
;; 41. 	(instance Organism5-1 Class5-10)	14 40 	
;; 42. 	(subclass Class5-10 ColdBloodedVertebrate)	[KB]	
;; 43. 	(subclass Class5-10 ColdBloodedVertebrate)	42 	
;; 44. 	(or
;;     (not
;;         (instance ?X0 Class5-10))
;;     (instance ?X0 ColdBloodedVertebrate))	43 10 	
;; 45. 	True	12 41 44