; a \/ ~a

(or a (not a))

; Clear rewrite flag 7 and try again