NO

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

Proof:
 Nonconfluence Processor:
  terms: b(b(x66)) *<- b(b(c(c(x66)))) ->* b(c(b(b(b(b(x66))))))
  Qed