NO

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

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