(setf *clauses0* '(a))

(setf *clauses1* '((and a b)))

(setf *clauses2* '((or a b)
		   (or (not a) c)
		   (or (not b) (not c))))