(note TQG10)  ;; boolean version
(category general)
;;ListOrderFn should work
(time 900)

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

(not
  (exists (?SPINE)
    (and
      (instance ?SPINE SpinalColumn)
      (part ?SPINE BananaSlug10))))

; (partition Animal Vertebrate Invertebrate) ; in Merge.kif

(query (instance BananaSlug10 Invertebrate))

(answer yes)

;; Answer 1. [yes]

;; 1. 	(instance BananaSlug10 Animal)	[KB]	
;; 2. 	(instance BananaSlug10 Animal)	1 	
;; 3. 	(not
;;     (instance BananaSlug10 Invertebrate))	[Negated Query]	
;; 4. 	(not
;;     (instance BananaSlug10 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))))	[KB]	
;; 18. 	(or
;;     (not
;;         (part ?X0 BananaSlug10))
;;     (not
;;         (instance ?X0 SpinalColumn)))	17 	
;; 19. 	(or
;;     (not
;;         (instance
;;             (sk509 BananaSlug10) SpinalColumn))
;;     (not
;;         (instance BananaSlug10 Vertebrate))
;;     (not
;;         (instance BananaSlug10 Object)))	2 16 18 	
;; 20. 	(not
;;     (instance BananaSlug10 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