and(not(implies(some(r, and(and(u, not(v)), not(not(u)))), v)), not(not(implies(some(r, and(and(u, not(v)), not(not(u)))), v)))