New query evaluation attempt based on CNF.