MAYBE

Problem:
 w(r(x)) -> r(w(x))
 b(r(x)) -> r(b(x))
 b(w(x)) -> w(b(x))

Proof:
 DP Processor:
  DPs:
   w#(r(x)) -> w#(x)
   b#(r(x)) -> b#(x)
   b#(w(x)) -> b#(x)
   b#(w(x)) -> w#(b(x))
  TRS:
   w(r(x)) -> r(w(x))
   b(r(x)) -> r(b(x))
   b(w(x)) -> w(b(x))
  ADG Processor:
   DPs:
    w#(r(x)) -> w#(x)
    b#(r(x)) -> b#(x)
    b#(w(x)) -> b#(x)
    b#(w(x)) -> w#(b(x))
   TRS:
    w(r(x)) -> r(w(x))
    b(r(x)) -> r(b(x))
    b(w(x)) -> w(b(x))
   graph:
    b#(w(x)) -> b#(x) -> b#(r(x)) -> b#(x)
    b#(w(x)) -> b#(x) -> b#(w(x)) -> b#(x)
    b#(w(x)) -> b#(x) -> b#(w(x)) -> w#(b(x))
    b#(w(x)) -> w#(b(x)) -> w#(r(x)) -> w#(x)
    b#(r(x)) -> b#(x) -> b#(r(x)) -> b#(x)
    b#(r(x)) -> b#(x) -> b#(w(x)) -> b#(x)
    b#(r(x)) -> b#(x) -> b#(w(x)) -> w#(b(x))
    w#(r(x)) -> w#(x) -> w#(r(x)) -> w#(x)
   SCC Processor:
    #sccs: 2
    #rules: 3
    #arcs: 8/16
    DPs:
     b#(w(x)) -> b#(x)
     b#(r(x)) -> b#(x)
    TRS:
     w(r(x)) -> r(w(x))
     b(r(x)) -> r(b(x))
     b(w(x)) -> w(b(x))
    Open
    
    DPs:
     w#(r(x)) -> w#(x)
    TRS:
     w(r(x)) -> r(w(x))
     b(r(x)) -> r(b(x))
     b(w(x)) -> w(b(x))
    Open