YES

---- CR(R)
---- Hot decreasingness.
R:
b(w(x)) -> w(w(w(b(x))))
w(b(x)) -> b(x)
b(b(x)) -> w(w(w(w(x))))
w(w(x)) -> w(x)

C:
b(w(x)) -> w(w(w(b(x))))
w(b(x)) -> b(x)
b(b(x)) -> w(w(w(w(x))))
w(w(x)) -> w(x)

Label: