NO

Problem:
 f(f(x)) -> f(g(f(x)))
 f(x) -> x

Proof:
 Nonconfluence Processor:
  terms: g(x33) *<- f(f(x33)) ->* x33
  Qed