(nil (/coi/util/clause-processor.lisp::clause-not (nil nil (`) nil nil nil nil) (nil nil nil nil (if) nil nil) (nil nil (, quote quote) nil nil nil nil) ((x nil t) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/coi/util/clause-processor.lisp::clause-implies (nil nil (`) nil nil nil nil) (nil nil nil nil (if) nil nil) (nil nil (, , quote) nil nil nil nil) ((x y t) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/coi/util/clause-processor.lisp::clause-cons (nil nil nil (cons) nil nil nil) ((clause) nil (clause-not) nil nil nil nil) ((a) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))