NO

Problem:
 +(0(),0()) -> 0()
 +(s(x),y) -> s(+(x,y))
 +(x,s(y)) -> s(+(y,x))

Proof:
 Nonconfluence Processor:
  terms: s(s(+(y,x66))) *<- +(s(x66),s(y)) ->* s(s(+(x66,y)))
  Qed