YES

---- CR(R)
---- [Knuth and Bendix, 1970]
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)
CP(R):
w(w(w(w(b(___y3))))) -> b(w(___y3))
b(w(w(w(b(___y5))))) -> w(w(w(w(w(___y5)))))
b(b(___y9)) -> w(w(w(b(b(___y9)))))
w(b(___y15)) -> w(b(___y15))
w(w(w(w(w(___y19))))) -> b(b(___y19))
b(w(w(w(w(___y21))))) -> w(w(w(w(b(___y21)))))
b(w(___y25)) -> w(w(w(b(w(___y25)))))
w(w(___y31)) -> w(w(___y31))