(note TQG13)  ;; boolean version

(time 240)

(instance Arc13-1 GraphLoop)

(query (exists (?NODE) (links ?NODE ?NODE Arc13-1)))

(answer yes)


;; Answer 1. [yes]

;; 1. 	(instance Arc13-1 GraphLoop)	[KB]	
;; 2. 	(instance Arc13-1 GraphLoop)	1 	
;; 3. 	(not
;;     (exists (?X0)
;;         (links ?X0 ?X0 Arc13-1)))	[Negated Query]	
;; 4. 	(not
;;     (links ?X0 ?X0 Arc13-1))	3 	
;; 5. 	(=>
;;     (instance ?X493 GraphArc)
;;     (<=>
;;         (instance ?X493 GraphLoop)
;;         (exists (?X71)
;;             (links ?X71 ?X71 ?X493))))	[KB]	
;; 6. 	(or
;;     (links
;;         (sk310 ?X0)
;;         (sk310 ?X0) ?X0)
;;     (not
;;         (instance ?X0 GraphLoop))
;;     (not
;;         (instance ?X0 GraphArc)))	5 	
;; 7. 	(not
;;     (instance Arc13-1 GraphArc))	2 4 6 	
;; 8. 	(subclass GraphLoop GraphArc)	[KB]	
;; 9. 	(subclass GraphLoop GraphArc)	8 	
;; 10. 	(=>
;;     (subclass ?X403 ?X404)
;;     (and
;;         (instance ?X403 SetOrClass)
;;         (instance ?X404 SetOrClass)))	[KB]	
;; 11. 	(or
;;     (instance ?X1 SetOrClass)
;;     (not
;;         (subclass ?X0 ?X1)))	10 	
;; 12. 	(or
;;     (instance ?X0 SetOrClass)
;;     (not
;;         (subclass ?X0 ?X1)))	10 	
;; 13. 	(=>
;;     (and
;;         (instance ?X403 SetOrClass)
;;         (instance ?X404 SetOrClass))
;;     (=>
;;         (and
;;             (subclass ?X403 ?X404)
;;             (instance ?X405 ?X403))
;;         (instance ?X405 ?X404)))	[KB]	
;; 14. 	(or
;;     (instance ?X2 ?X1)
;;     (not
;;         (instance ?X2 ?X0))
;;     (not
;;         (subclass ?X0 ?X1))
;;     (not
;;         (instance ?X1 SetOrClass))
;;     (not
;;         (instance ?X0 SetOrClass)))	13 	
;; 15. 	(or
;;     (not
;;         (subclass ?X0 ?X1))
;;     (not
;;         (instance ?X2 ?X0))
;;     (instance ?X2 ?X1))	11 12 14 	
;; 16. 	(or
;;     (not
;;         (instance ?X0 GraphLoop))
;;     (instance ?X0 GraphArc))	9 15 	
;; 17. 	True	7 2 16