YES

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

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

Label: