MAYBE
MAYBE
TRS:
 {w(r(x)) -> r(w(x)),
  b(r(x)) -> r(b(x)),
  b(w(x)) -> w(b(x))}
 Fail