5.4.9.4 Or CEs Following Not CEs

If an or CE immediately follows a not CE, then the not/or CE combination is replaced with an and/not CE combination where each of the CEs contained in the original or CE is enclosed within a not CE and then all of the not CEs are enclosed within a single and CE. For example, the following rule

(defrule example
   (a ?x)
   (not (or (b ?x)
            (c ?x)))
   =>)

would be changed as follows.

(defrule example
   (a ?x)
   (and (not (b ?x))
        (not (c ?x)))
   =>)