(note TQG11)  ;; boolean version

(query (equal 12 (MultiplicationFn 3 4)))

(answer yes)

;; Answer 1. [yes]

;; 1. (not
;;     (equal 12
;;         (MultiplicationFn 3 4)))	[Negated Query]	
;; 2. (not
;;     (equal 12
;;         (MultiplicationFn 3 4)))	1