YES

Problem:
 h(f(f(f(h(c(),h(b(),c()))))),h(f(f(b())),b())) -> f(h(b(),f(a())))
 f(c()) -> b()

Proof:
 Church Rosser Transformation Processor:
  
  critical peaks: joinable
  Qed