MAYBE
(ignored inputs)COMMENT [17] Example 3 submitted by: Takahito Aoto , Junichi Yoshida , and Yoshihito Toyama
Rewrite Rules:
   [ -(0,0) -> 0,
     -(s(?x),0) -> s(?x),
     -(?x,s(?y)) -> -(d(?x),?y),
     d(s(?x)) -> ?x,
     -(s(?x),s(?y)) -> -(?x,?y),
     -(d(?x),?y) -> -(?x,s(?y)) ]
Apply Direct Methods...
Inner CPs:
   [ -(?x_2,?y_4) = -(s(?x_2),s(?y_4)) ]
Outer CPs:
   [ -(d(s(?x_3)),?y_1) = -(?x_3,?y_1),
     -(d(d(?x_4)),?y_1) = -(?x_4,s(s(?y_1))) ]
Linear
(inner) Parallel CPs:
   [ -(?x_3,?y) = -(s(?x_3),s(?y)) {?x_3} ]
unknown Toyama (Parallel CPs)
Direct Methods: Can't judge

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