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