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