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