YES

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

C:
a(x) -> x
b(x) -> x
c(x) -> x

Label:
[a(a(x)) -> b(c(x))] = 0
[c(b(x)) -> b(a(c(x)))] = 0