(note TQG10)  ;; boolean version

(time 900)

(=>
  (and
    (instance ?A Animal)
    (not
      (exists (?PART)
        (and
          (instance ?PART SpinalColumn)
          (part ?PART ?A)))))
  (not
    (instance ?A Vertebrate)))
                        
(not
  (exists (?SPINE)
    (and
      (instance ?SPINE SpinalColumn)
      (part ?SPINE BananaSlug10-1))))

; (partition Animal Vertebrate Invertebrate) ; in Merge.kif
  
(instance BananaSlug10-1 Animal)

(and
  (instance BodyPart10-1 BodyPart)
  (component BodyPart10-1 BananaSlug10-1))

(query (instance BananaSlug10-1 Invertebrate))

(answer yes)

;; Answer 1. [yes]

;; 1. 	(instance BananaSlug10-1 Animal)	[KB]	
;; 2. 	(instance BananaSlug10-1 Animal)	1 	
;; 3. 	(not
;;     (instance BananaSlug10-1 Invertebrate))	[Negated Query]	
;; 4. 	(not
;;     (instance BananaSlug10-1 Invertebrate))	3 	
;; 5. 	(subclass Vertebrate Object)	[KB]	
;; 6. 	(subclass Vertebrate Object)	5 	
;; 7. 	(=>
;;     (subclass ?X403 ?X404)
;;     (and
;;         (instance ?X403 SetOrClass)
;;         (instance ?X404 SetOrClass)))	[KB]	
;; 8. 	(or
;;     (instance ?X1 SetOrClass)
;;     (not
;;         (subclass ?X0 ?X1)))	7 	
;; 9. 	(or
;;     (instance ?X0 SetOrClass)
;;     (not
;;         (subclass ?X0 ?X1)))	7 	
;; 10. 	(=>
;;     (and
;;         (instance ?X403 SetOrClass)
;;         (instance ?X404 SetOrClass))
;;     (=>
;;         (and
;;             (subclass ?X403 ?X404)
;;             (instance ?X405 ?X403))
;;         (instance ?X405 ?X404)))	[KB]	
;; 11. 	(or
;;     (instance ?X2 ?X1)
;;     (not
;;         (instance ?X2 ?X0))
;;     (not
;;         (subclass ?X0 ?X1))
;;     (not
;;         (instance ?X1 SetOrClass))
;;     (not
;;         (instance ?X0 SetOrClass)))	10 	
;; 12. 	(or
;;     (not
;;         (subclass ?X0 ?X1))
;;     (not
;;         (instance ?X2 ?X0))
;;     (instance ?X2 ?X1))	8 9 11 	
;; 13. 	(or
;;     (not
;;         (instance ?X0 Vertebrate))
;;     (instance ?X0 Object))	6 12 	
;; 14. 	(=>
;;     (instance ?X316 Object)
;;     (=>
;;         (and
;;             (instance ?X316 Animal)
;;             (not
;;                 (exists (?X133)
;;                     (and
;;                         (instance ?X133 SpinalColumn)
;;                         (part ?X133 ?X316)))))
;;         (not
;;             (instance ?X316 Vertebrate))))	[KB]	
;; 15. 	(or
;;     (not
;;         (instance ?X0 Vertebrate))
;;     (instance
;;         (sk509 ?X0) SpinalColumn)
;;     (not
;;         (instance ?X0 Animal))
;;     (not
;;         (instance ?X0 Object)))	14 	
;; 16. 	(or
;;     (not
;;         (instance ?X0 Vertebrate))
;;     (part
;;         (sk509 ?X0) ?X0)
;;     (not
;;         (instance ?X0 Animal))
;;     (not
;;         (instance ?X0 Object)))	14 	
;; 17. 	(not
;;     (exists (?X0)
;;         (and
;;             (instance ?X0 SpinalColumn)
;;             (part ?X0 BananaSlug10-1))))	[KB]	
;; 18. 	(or
;;     (not
;;         (part ?X0 BananaSlug10-1))
;;     (not
;;         (instance ?X0 SpinalColumn)))	17 	
;; 19. 	(or
;;     (not
;;         (instance
;;             (sk509 BananaSlug10-1) SpinalColumn))
;;     (not
;;         (instance BananaSlug10-1 Vertebrate))
;;     (not
;;         (instance BananaSlug10-1 Object)))	2 16 18 	
;; 20. 	(not
;;     (instance BananaSlug10-1 Vertebrate))	13 2 15 19 	
;; 21. 	(subclass Animal Entity)	[KB]	
;; 22. 	(subclass Animal Entity)	21 	
;; 23. 	(=>
;;     (instance ?X82 SetOrClass)
;;     (<=>
;;         (instance ?X82 Class)
;;         (subclass ?X82 Entity)))	[KB]	
;; 24. 	(or
;;     (instance ?X0 Class)
;;     (not
;;         (subclass ?X0 Entity))
;;     (not
;;         (instance ?X0 SetOrClass)))	23 	
;; 25. 	(or
;;     (not
;;         (subclass ?X0 Entity))
;;     (instance ?X0 Class))	9 24 	
;; 26. 	(instance Animal Class)	22 25 	
;; 27. 	(subclass Invertebrate Entity)	[KB]	
;; 28. 	(subclass Invertebrate Entity)	27 	
;; 29. 	(instance Invertebrate Class)	28 25 	
;; 30. 	(=>
;;     (and
;;         (instance ?X586 Class)
;;         (instance ?X587 Class)
;;         (instance ?X588 Class))
;;     (=>
;;         (and
;;             (partition ?X588 ?X587 ?X586)
;;             (instance ?X83 ?X588)
;;             (not
;;                 (instance ?X83 ?X587)))
;;         (instance ?X83 ?X586)))	[KB]	
;; 31. 	(or
;;     (instance ?X3 ?X0)
;;     (instance ?X3 ?X1)
;;     (not
;;         (instance ?X3 ?X2))
;;     (not
;;         (partition ?X2 ?X1 ?X0))
;;     (not
;;         (instance ?X2 Class))
;;     (not
;;         (instance ?X1 Class))
;;     (not
;;         (instance ?X0 Class)))	30 	
;; 32. 	(partition Animal Vertebrate Invertebrate)	[KB]	
;; 33. 	(partition Animal Vertebrate Invertebrate)	32 	
;; 34. 	(or
;;     (not
;;         (instance Vertebrate Class))
;;     (not
;;         (instance Animal Class))
;;     (not
;;         (instance Invertebrate Class))
;;     (not
;;         (instance ?X0 Animal))
;;     (instance ?X0 Vertebrate)
;;     (instance ?X0 Invertebrate))	31 33 	
;; 35. 	(subclass Vertebrate Entity)	[KB]	
;; 36. 	(subclass Vertebrate Entity)	35 	
;; 37. 	(instance Vertebrate Class)	36 25 	
;; 38. 	(or
;;     (instance ?X0 Vertebrate)
;;     (not
;;         (instance ?X0 Animal))
;;     (instance ?X0 Invertebrate))	26 29 34 37 	
;; 39. 	True	2 4 20 38