MAYBE
MAYBE
TRS:
 {
                    g(x, x, x) -> g(c(), d(), e()),
                    g(x, y, x) -> g(c(), d(), e()),
   f(x, g(x, a(), f(s(x), y))) -> f(h(x, b()), g(a(), b(), y)),
           f(x, f(y, f(x, y))) -> f(a(), f(x, f(y, b()))),
  f(h(a(), y), g(x, b(), a())) -> h(f(x, s(y)), s(b())),
                          s(y) -> b(),
                    s(f(x, y)) -> f(y, f(s(s(x)), a())),
            h(f(x, s(y)), b()) -> f(a(), g(y, a(), f(s(x), a()))),
               h(h(x, a()), y) -> h(h(a(), y), h(a(), x))
 }
 DUP: We consider a non-duplicating system.
  Trs:
   {
                      g(x, x, x) -> g(c(), d(), e()),
                      g(x, y, x) -> g(c(), d(), e()),
     f(x, g(x, a(), f(s(x), y))) -> f(h(x, b()), g(a(), b(), y)),
             f(x, f(y, f(x, y))) -> f(a(), f(x, f(y, b()))),
    f(h(a(), y), g(x, b(), a())) -> h(f(x, s(y)), s(b())),
                            s(y) -> b(),
                      s(f(x, y)) -> f(y, f(s(s(x)), a())),
              h(f(x, s(y)), b()) -> f(a(), g(y, a(), f(s(x), a()))),
                 h(h(x, a()), y) -> h(h(a(), y), h(a(), x))
   }
  Fail