(note TQG20)  ;; boolean version

(equal Value20-1 (AdditionFn 3.0 5.0))

(equal Value20-2 (AdditionFn 4.0 4.0))

(query (equal Value20-2 Value20-1))

(answer yes)

;; Answer 1. [yes]

;; 1. 	(not
;;     (equal Value20-2 Value20-1))	[Negated Query]	
;; 2. 	(not
;;     (equal Value20-2 Value20-1))	1 	
;; 3. 	(equal Value20-2
;;     (AdditionFn 4 4))	[KB]	
;; 4. 	(equal Value20-2
;;     (AdditionFn 4 4))	3 	
;; 5. 	(not
;;     (equal Value20-1 8))	2 4 	
;; 6. 	(equal Value20-1
;;     (AdditionFn 3 5))	[KB]	
;; 7. 	(equal Value20-1
;;     (AdditionFn 3 5))	6 	
;; 8. 	True	5 7