MAYBE
(ignored inputs)COMMENT submitted by: Miguel Vitores and Salvador Lucas secret problem 2022 category: TRS
Rewrite Rules:
   [ c -> f(a,h(b)),
     f(h(f(f(a,a),h(a))),g(f(?x,g(b)))) -> c,
     c -> c,
     g(g(a)) -> f(h(g(f(c,c))),f(f(g(c),a),g(f(a,a)))),
     f(?x,?y) -> f(?y,?x) ]
Apply Direct Methods...
Inner CPs:
   [ f(h(f(h(a),f(a,a))),g(f(?x,g(b)))) = c,
     f(h(f(f(a,a),h(a))),g(f(?x,g(b)))) = c,
     f(h(f(f(a,a),h(a))),g(f(g(b),?x_1))) = c ]
Outer CPs:
   [ f(a,h(b)) = c,
     c = f(g(f(?x,g(b))),h(f(f(a,a),h(a)))) ]
Linear
(inner) Parallel CPs: (not computed)
unknown Toyama (Parallel CPs)
Direct Methods: Can't judge

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