MAYBE
(ignored inputs)COMMENT associative law + commutative law submitted by: Takahito Aoto , Junichi Yoshida , and Yoshihito Toyama
Rewrite Rules:
   [ f(f(?x,?y),?z) -> f(?x,f(?y,?z)),
     f(?x,?y) -> f(?y,?x) ]
Apply Direct Methods...
Inner CPs:
   [ f(f(?y_1,?x_1),?z) = f(?x_1,f(?y_1,?z)),
     f(f(?x,f(?y,?z)),?z_1) = f(f(?x,?y),f(?z,?z_1)) ]
Outer CPs:
   [ f(?x,f(?y,?z)) = f(?z,f(?x,?y)) ]
Linear
(inner) Parallel CPs: (not computed)
unknown Toyama (Parallel CPs)
Direct Methods: Can't judge

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