YES
TRS:
 {     minus(minus(x)) -> x,
  +(minus(x), +(x, y)) -> y,
  +(+(x, y), minus(y)) -> x,
        minux(+(x, y)) -> +(minus(y), minus(x))}
 RUF:
  Strict:
   {     minus(minus(x)) -> x,
    +(minus(x), +(x, y)) -> y,
    +(+(x, y), minus(y)) -> x}
  Weak:
   {}
  RUF:
   Strict:
    {}
   Weak:
    {}
   Qed