and(not(or(implies(not(some(r, some(r, not(all(r, u))))), w), not(not(not(all(r, u)))))), not(not(or(implies(not(some(r, some(r, not(all(r, u))))), w), not(not(not(all(r, u)))))))