NO
Rewrite Rules:
   [ eq(0,0) -> true,
     eq(0,s(?y)) -> false,
     eq(s(?x),0) -> false,
     eq(s(?x),s(?y)) -> eq(?x,?y),
     not(true) -> false,
     not(false) -> true,
     neq(?x,?y) -> not(eq(?x,?y)),
     eq(?x,?x) -> true,
     neq(?x,s(?x)) -> true ]
Apply Direct Methods...
Inner CPs:
   [  ]
Outer CPs:
   [ true = true,
     eq(?y_2,?y_2) = true,
     not(eq(?x_3,s(?x_3))) = true ]
Overlay, check Innermost Termination...
Innermost Terminating (hence Terminating), not WCR
Knuth & Bendix
Direct Methods: not CR

Final result: not CR
new/eq.trs: Success(not CR)
(8 msec.)