(note TQG21)  ;; boolean version
q
(equal Value21-1 40.0)
(equal Value21-2 (SubtractionFn (DivisionFn 100.0 2.0) 10.0))
(equal Value21-3 (MultiplicationFn (AdditionFn 4.0 4.0) (DivisionFn 10.0 2.0)))

(query (and
         (equal Value21-1 Value21-2)
         (equal Value21-2 Value21-3)
         (equal Value21-1 Value21-3)))

(answer yes)


;; Answer 1. [yes]

;; 1. 	(not
;;     (and
;;         (equal Value21-1 Value21-2)
;;         (equal Value21-2 Value21-3)
;;         (equal Value21-1 Value21-3)))	[Negated Query]	
;; 2. 	(or
;;     (not
;;         (equal Value21-1 Value21-3))
;;     (not
;;         (equal Value21-2 Value21-3))
;;     (not
;;         (equal Value21-1 Value21-2)))	1 	
;; 3. 	(equal Value21-3
;;     (MultiplicationFn
;;         (AdditionFn 4 4)
;;         (DivisionFn 10 2)))	[KB]	
;; 4. 	(equal Value21-3
;;     (MultiplicationFn
;;         (AdditionFn 4 4)
;;         (DivisionFn 10 2)))	3 	
;; 5. 	(or
;;     (not
;;         (equal Value21-1 Value21-2))
;;     (not
;;         (equal Value21-1 40))
;;     (not
;;         (equal Value21-2 40)))	2 4 	
;; 6. 	(equal Value21-2
;;     (SubtractionFn
;;         (DivisionFn 100 2) 10))	[KB]	
;; 7. 	(equal Value21-2
;;     (SubtractionFn
;;         (DivisionFn 100 2) 10))	6 	
;; 8. 	(not
;;     (equal Value21-1 40))	5 7 	
;; 9. 	(equal Value21-1 40)	[KB]	
;; 10. 	(equal Value21-1 40)	9 	
;; 11. 	True	8 10