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