(note TQG44)  ;; boolean version

;; Predicate introduction.

(time 300)

(instance testPred44-1 Predicate)
(valence testPred44-1 10)

(domain testPred44-1 1 Entity)
(domain testPred44-1 2 Entity)
(domain testPred44-1 3 Entity)
(domain testPred44-1 4 Entity)
(domain testPred44-1 5 Entity)
(domain testPred44-1 6 Entity)
(domain testPred44-1 7 Entity)
(domain testPred44-1 8 Entity)
(domain testPred44-1 9 Entity)
(domain testPred44-1 10 Entity)

(instance Entity44-1 Entity)
(instance Entity44-2 Entity)
(instance Entity44-3 Entity)
(instance Entity44-4 Entity)
(instance Entity44-5 Entity)
(instance Entity44-6 Entity)
(instance Entity44-7 Entity)
(instance Entity44-8 Entity)
(instance Entity44-9 Entity)
(instance Entity44-10 Entity)

(testPred44-1 Entity44-1 Entity44-2 Entity44-3 Entity44-4 Entity44-5 Entity44-6 Entity44-7 Entity44-8 Entity44-9 Entity44-10)

(=>
  (testPred44-1 ?ARG1 ?ARG2 ?ARG3 ?ARG4 ?ARG5 ?ARG6 ?ARG7 ?ARG8 ?ARG9 ?ARG10)
  (and
    (instance ?ARG1 Amphibian)
    (instance ?ARG2 Bird)
    (instance ?ARG9 Mammal)
    (instance ?ARG10 Reptile)))


(query (and
         (instance Entity44-1 Animal)
         (instance Entity44-2 Animal)
         (instance Entity44-9 Animal)
         (instance Entity44-10 Animal)))

(answer yes)


;; Answer 1. [yes]

;; 1. 	(=>
;;     (testPred44-1 ?X80 ?X79 ?X585 ?X586 ?X587 ?X588 ?X589 ?X590 ?X591 ?X592)
;;     (and
;;         (instance ?X80 Amphibian)
;;         (instance ?X79 Bird)
;;         (instance ?X591 Mammal)
;;         (instance ?X592 Reptile)))	[KB]	
;; 2. 	(or
;;     (instance ?X1 Bird)
;;     (not
;;         (testPred44-1 ?X0 ?X1 ?X2 ?X3 ?X4 ?X5 ?X6 ?X7 ?X8 ?X9)))	1 	
;; 3. 	(testPred44-1 Entity44-1 Entity44-2 Entity44-3 Entity44-4 Entity44-5 Entity44-6 Entity44-7 Entity44-8 Entity44-9 Entity44-10)	[KB]	
;; 4. 	(testPred44-1 Entity44-1 Entity44-2 Entity44-3 Entity44-4 Entity44-5 Entity44-6 Entity44-7 Entity44-8 Entity44-9 Entity44-10)	3 	
;; 5. 	(instance Entity44-2 Bird)	2 4 	
;; 6. 	(subclass Bird Animal)	[KB]	
;; 7. 	(subclass Bird Animal)	6 	
;; 8. 	(=>
;;     (subclass ?X403 ?X404)
;;     (and
;;         (instance ?X403 SetOrClass)
;;         (instance ?X404 SetOrClass)))	[KB]	
;; 9. 	(or
;;     (instance ?X1 SetOrClass)
;;     (not
;;         (subclass ?X0 ?X1)))	8 	
;; 10. 	(or
;;     (instance ?X0 SetOrClass)
;;     (not
;;         (subclass ?X0 ?X1)))	8 	
;; 11. 	(=>
;;     (and
;;         (instance ?X403 SetOrClass)
;;         (instance ?X404 SetOrClass))
;;     (=>
;;         (and
;;             (subclass ?X403 ?X404)
;;             (instance ?X405 ?X403))
;;         (instance ?X405 ?X404)))	[KB]	
;; 12. 	(or
;;     (instance ?X2 ?X1)
;;     (not
;;         (instance ?X2 ?X0))
;;     (not
;;         (subclass ?X0 ?X1))
;;     (not
;;         (instance ?X1 SetOrClass))
;;     (not
;;         (instance ?X0 SetOrClass)))	11 	
;; 13. 	(or
;;     (not
;;         (subclass ?X0 ?X1))
;;     (not
;;         (instance ?X2 ?X0))
;;     (instance ?X2 ?X1))	9 10 12 	
;; 14. 	(or
;;     (not
;;         (instance ?X0 Bird))
;;     (instance ?X0 Animal))	7 13 	
;; 15. 	(instance Entity44-2 Animal)	5 14 	
;; 16. 	(or
;;     (instance ?X8 Mammal)
;;     (not
;;         (testPred44-1 ?X0 ?X1 ?X2 ?X3 ?X4 ?X5 ?X6 ?X7 ?X8 ?X9)))	1 	
;; 17. 	(instance Entity44-9 Mammal)	16 4 	
;; 18. 	(subclass Mammal Animal)	[KB]	
;; 19. 	(subclass Mammal Animal)	18 	
;; 20. 	(or
;;     (not
;;         (instance ?X0 Mammal))
;;     (instance ?X0 Animal))	19 13 	
;; 21. 	(instance Entity44-9 Animal)	17 20 	
;; 22. 	(or
;;     (instance ?X9 Reptile)
;;     (not
;;         (testPred44-1 ?X0 ?X1 ?X2 ?X3 ?X4 ?X5 ?X6 ?X7 ?X8 ?X9)))	1 	
;; 23. 	(instance Entity44-10 Reptile)	22 4 	
;; 24. 	(subclass Reptile Animal)	[KB]	
;; 25. 	(subclass Reptile Animal)	24 	
;; 26. 	(or
;;     (not
;;         (instance ?X0 Reptile))
;;     (instance ?X0 Animal))	25 13 	
;; 27. 	(instance Entity44-10 Animal)	23 26 	
;; 28. 	(not
;;     (and
;;         (instance Entity44-1 Animal)
;;         (instance Entity44-2 Animal)
;;         (instance Entity44-9 Animal)
;;         (instance Entity44-10 Animal)))	[Negated Query]	
;; 29. 	(or
;;     (not
;;         (instance Entity44-10 Animal))
;;     (not
;;         (instance Entity44-9 Animal))
;;     (not
;;         (instance Entity44-2 Animal))
;;     (not
;;         (instance Entity44-1 Animal)))	28 	
;; 30. 	(subclass Vertebrate Animal)	[KB]	
;; 31. 	(subclass Vertebrate Animal)	30 	
;; 32. 	(or
;;     (not
;;         (instance ?X0 Vertebrate))
;;     (instance ?X0 Animal))	31 13 	
;; 33. 	(or
;;     (instance ?X0 Amphibian)
;;     (not
;;         (testPred44-1 ?X0 ?X1 ?X2 ?X3 ?X4 ?X5 ?X6 ?X7 ?X8 ?X9)))	1 	
;; 34. 	(instance Entity44-1 Amphibian)	33 4 	
;; 35. 	(subclass Amphibian Vertebrate)	[KB]	
;; 36. 	(subclass Amphibian Vertebrate)	35 	
;; 37. 	(or
;;     (not
;;         (instance ?X0 Amphibian))
;;     (instance ?X0 Vertebrate))	36 13 	
;; 38. 	(instance Entity44-1 Vertebrate)	34 37 	
;; 39. 	(instance Entity44-1 Animal)	32 38 	
;; 40. 	True	15 21 27 29 39