MAYBE
(ignored inputs)COMMENT handcrafted "UNC & ~NFP" submitted by: Franziska Rapp
Rewrite Rules:
   [ if(true,a,?x) -> a,
     if(true,b,?x) -> b,
     if(true,g(a),?x) -> g(a),
     if(true,g(b),?x) -> g(b),
     if(false,?x,a) -> a,
     if(false,?x,b) -> b,
     if(false,?x,g(a)) -> g(a),
     if(false,?x,g(b)) -> g(b),
     g(a) -> g(g(a)),
     g(b) -> a,
     f(a,b) -> b,
     f(g(g(a)),?x) -> b ]
Apply Direct Methods...
Inner CPs:
   [ if(true,g(g(a)),?x_2) = g(a),
     if(true,a,?x_3) = g(b),
     if(false,?x_6,g(g(a))) = g(a),
     if(false,?x_7,a) = g(b),
     f(g(g(g(a))),?x_8) = b ]
Outer CPs:
   [  ]
Linear
(inner) Parallel CPs: (not computed)
unknown Toyama (Parallel CPs)
Direct Methods: Can't judge

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