MAYBE
(ignored inputs)COMMENT generated by FORT "UN & ~UNC" submitted by: Franziska Rapp
Rewrite Rules:
   [ a -> a,
     g(g(a)) -> b,
     g(g(?x)) -> g(g(g(b))) ]
Apply Direct Methods...
Inner CPs:
   [ g(g(a)) = b,
     g(b) = g(g(g(b))),
     g(g(g(g(b)))) = g(g(g(b))) ]
Outer CPs:
   [ b = g(g(g(b))) ]
Linear
(inner) Parallel CPs: (not computed)
unknown Toyama (Parallel CPs)
Direct Methods: Can't judge

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