(note TQG26)  ;; boolean version

;; case elimination.

(time 300)

(instance Planet26-1 Class)
(subclass Planet26-1 AstronomicalBody)

(=>
  (instance ?P Planet26-1)
  (or
    (attribute ?P Solid)
    (attribute ?P Gaseous)))

(=>
  (instance ?P Planet26-1)
  (or
    (attribute ?P Earthlike)
    (attribute ?P HostileToEarthLife)))

(=>
  (and
    (instance ?X Planet26-1)
    (attribute ?X Gaseous))
  (not (attribute ?X Earthlike)))

(instance Object26-1 Planet26-1)
(not (attribute Object26-1 Solid))

(query (attribute Object26-1 HostileToEarthLife))

(answer yes)


;; Answer 1. [yes]

;; 1. 	(instance Object26-1 Planet26-1)	[KB]	
;; 2. 	(instance Object26-1 Planet26-1)	1 	
;; 3. 	(subclass Planet26-1 AstronomicalBody)	[KB]	
;; 4. 	(subclass Planet26-1 AstronomicalBody)	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
;;     (not
;;         (instance ?X0 Planet26-1))
;;     (instance ?X0 AstronomicalBody))	4 10 	
;; 12. 	(instance Object26-1 AstronomicalBody)	2 11 	
;; 13. 	(not
;;     (attribute Object26-1 Solid))	[KB]	
;; 14. 	(not
;;     (attribute Object26-1 Solid))	13 	
;; 15. 	(=>
;;     (instance ?X310 Object)
;;     (=>
;;         (instance ?X310 Planet26-1)
;;         (or
;;             (attribute ?X310 Solid)
;;             (attribute ?X310 Gaseous))))	[KB]	
;; 16. 	(or
;;     (attribute ?X0 Gaseous)
;;     (attribute ?X0 Solid)
;;     (not
;;         (instance ?X0 Planet26-1))
;;     (not
;;         (instance ?X0 Object)))	15 	
;; 17. 	(or
;;     (attribute Object26-1 Gaseous)
;;     (not
;;         (instance Object26-1 Object)))	2 14 16 	
;; 18. 	(=>
;;     (instance ?X403 Object)
;;     (=>
;;         (and
;;             (instance ?X403 Planet26-1)
;;             (attribute ?X403 Gaseous))
;;         (not
;;             (attribute ?X403 Earthlike))))	[KB]	
;; 19. 	(or
;;     (not
;;         (attribute ?X0 Earthlike))
;;     (not
;;         (attribute ?X0 Gaseous))
;;     (not
;;         (instance ?X0 Planet26-1))
;;     (not
;;         (instance ?X0 Object)))	18 	
;; 20. 	(not
;;     (attribute Object26-1 HostileToEarthLife))	[Negated Query]	
;; 21. 	(not
;;     (attribute Object26-1 HostileToEarthLife))	20 	
;; 22. 	(=>
;;     (instance ?X310 Object)
;;     (=>
;;         (instance ?X310 Planet26-1)
;;         (or
;;             (attribute ?X310 Earthlike)
;;             (attribute ?X310 HostileToEarthLife))))	[KB]	
;; 23. 	(or
;;     (attribute ?X0 HostileToEarthLife)
;;     (attribute ?X0 Earthlike)
;;     (not
;;         (instance ?X0 Planet26-1))
;;     (not
;;         (instance ?X0 Object)))	22 	
;; 24. 	(or
;;     (attribute Object26-1 Earthlike)
;;     (not
;;         (instance Object26-1 Object)))	2 21 23 	
;; 25. 	(not
;;     (instance Object26-1 Object))	17 2 19 24 	
;; 26. 	(subclass AstronomicalBody Object)	[KB]	
;; 27. 	(subclass AstronomicalBody Object)	26 	
;; 28. 	(or
;;     (instance ?X0 Object)
;;     (not
;;         (instance ?X0 AstronomicalBody)))	27 10 	
;; 29. 	True	12 25 28