YES
TRS:
 {w(r(x)) -> r(w(x)),
  b(r(x)) -> r(b(x)),
  b(w(x)) -> w(b(x))}
 DP:
  Strict:
   {w#(r(x)) -> w#(x),
    b#(r(x)) -> b#(x),
    b#(w(x)) -> w#(b(x)),
    b#(w(x)) -> b#(x)}
  Weak:
  {w(r(x)) -> r(w(x)),
   b(r(x)) -> r(b(x)),
   b(w(x)) -> w(b(x))}
  EDG:
   {(b#(r(x)) -> b#(x), b#(w(x)) -> b#(x))
    (b#(r(x)) -> b#(x), b#(w(x)) -> w#(b(x)))
    (b#(r(x)) -> b#(x), b#(r(x)) -> b#(x))
    (b#(w(x)) -> w#(b(x)), w#(r(x)) -> w#(x))
    (b#(w(x)) -> b#(x), b#(r(x)) -> b#(x))
    (b#(w(x)) -> b#(x), b#(w(x)) -> w#(b(x)))
    (b#(w(x)) -> b#(x), b#(w(x)) -> b#(x))
    (w#(r(x)) -> w#(x), w#(r(x)) -> w#(x))}
   SCCS:
    Scc:
     {b#(r(x)) -> b#(x),
      b#(w(x)) -> b#(x)}
    Scc:
     {w#(r(x)) -> w#(x)}
    SCC:
     Strict:
      {b#(r(x)) -> b#(x),
       b#(w(x)) -> b#(x)}
     Weak:
     {w(r(x)) -> r(w(x)),
      b(r(x)) -> r(b(x)),
      b(w(x)) -> w(b(x))}
     SPSC:
      Simple Projection:
       pi(b#) = 0
      Strict:
       {b#(w(x)) -> b#(x)}
      EDG:
       {(b#(w(x)) -> b#(x), b#(w(x)) -> b#(x))}
       SCCS:
        Scc:
         {b#(w(x)) -> b#(x)}
        SCC:
         Strict:
          {b#(w(x)) -> b#(x)}
         Weak:
         {w(r(x)) -> r(w(x)),
          b(r(x)) -> r(b(x)),
          b(w(x)) -> w(b(x))}
         SPSC:
          Simple Projection:
           pi(b#) = 0
          Strict:
           {}
          Qed
    SCC:
     Strict:
      {w#(r(x)) -> w#(x)}
     Weak:
     {w(r(x)) -> r(w(x)),
      b(r(x)) -> r(b(x)),
      b(w(x)) -> w(b(x))}
     SPSC:
      Simple Projection:
       pi(w#) = 0
      Strict:
       {}
      Qed