YES

Problem:
 c() -> f(c(),d())
 c() -> h(c(),d())
 f(x,y) -> h(g(y),x)
 h(x,y) -> f(g(y),x)

Proof:
 Qed (right-reducible TRS)