YES

---- CR(R)
---- R : linear and strongly closed [Huet, 1980]
R:
-(+(x,y)) -> +(-(x),-(y))
+(-(x),-(y)) -> -(+(x,y))
CP(R):
+(+(-(___y5),-(___y6)),-(___y8)) -> -(+(+(___y5,___y6),___y8))
+(-(___y7),+(-(___y5),-(___y6))) -> -(+(___y7,+(___y5,___y6)))
-(-(+(___y9,___y10))) -> +(-(-(___y9)),-(-(___y10)))