YES
Time: 0.000378
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