Fix negated clauses