YES

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

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