YES

# orthogonality

Consider the left-linear TRS R:

  +(x,y) -> +(y,x)

The left-linear and non-overlapping TRS is confluent