Input TRS:
    1: w(r(x)) -> r(w(x))
    2: b(r(x)) -> r(b(x))
    3: b(w(x)) -> w(b(x))
Number of strict rules: 3
Direct Order(PosReal,>,Poly) ... removes: 1 3 2
     b(x1)	weight: (/ 1 8) + 2 * x1
     r(x1)	weight: (/ 3 8) + 2 * x1
     w(x1)	weight: (/ 1 4) + 2 * x1
Number of strict rules: 0
YES