MAYBE
(ignored inputs)COMMENT full experiments for [35] submitted by: Takahito Aoto and Yoshihito Toyama
Rewrite Rules:
   [ -(+(?x,?y)) -> +(-(?x),-(?y)),
     +(-(?x),-(?y)) -> -(+(?x,?y)) ]
Apply Direct Methods...
Inner CPs:
   [ -(-(+(?x_1,?y_1))) = +(-(-(?x_1)),-(-(?y_1))),
     +(+(-(?x),-(?y)),-(?y_1)) = -(+(+(?x,?y),?y_1)),
     +(-(?x_1),+(-(?x),-(?y))) = -(+(?x_1,+(?x,?y))) ]
Outer CPs:
   [  ]
Linear
(inner) Parallel CPs:
   [ -(-(+(?x_2,?y_2))) = +(-(-(?x_2)),-(-(?y_2))) {?x_2,?y_2},
     +(-(?x),+(-(?x_1),-(?y_1))) = -(+(?x,+(?x_1,?y_1))) {?x_1,?y_1},
     +(+(-(?x_3),-(?y_3)),-(?y)) = -(+(+(?x_3,?y_3),?y)) {?x_3,?y_3},
     +(+(-(?x_3),-(?y_3)),+(-(?x_1),-(?y_1))) = -(+(+(?x_3,?y_3),+(?x_1,?y_1))) {?x_1,?x_3,?y_1,?y_3} ]
unknown Toyama (Parallel CPs)
Direct Methods: Can't judge

Combined result: Can't judge
177.trs: Failure(unknown CR)
(0 msec.)