MAYBE
TRS:
 { f(X, n__g(X), Y) -> f(activate(Y), activate(Y), activate(Y)),
        activate(X) -> X,
  activate(n__g(X)) -> g(X),
               g(X) -> n__g(X),
             g(b()) -> c(),
                b() -> c()}
 DP:
  Strict:
   { f#(X, n__g(X), Y) -> f#(activate(Y), activate(Y), activate(Y)),
     f#(X, n__g(X), Y) -> activate#(Y),
    activate#(n__g(X)) -> g#(X)}
  Weak:
  { f(X, n__g(X), Y) -> f(activate(Y), activate(Y), activate(Y)),
         activate(X) -> X,
   activate(n__g(X)) -> g(X),
                g(X) -> n__g(X),
              g(b()) -> c(),
                 b() -> c()}
  EDG:
   {(f#(X, n__g(X), Y) -> activate#(Y), activate#(n__g(X)) -> g#(X))
    (f#(X, n__g(X), Y) -> f#(activate(Y), activate(Y), activate(Y)), f#(X, n__g(X), Y) -> f#(activate(Y), activate(Y), activate(Y)))
    (f#(X, n__g(X), Y) -> f#(activate(Y), activate(Y), activate(Y)), f#(X, n__g(X), Y) -> activate#(Y))}
   SCCS:
    Scc:
     {f#(X, n__g(X), Y) -> f#(activate(Y), activate(Y), activate(Y))}
    SCC:
     Strict:
      {f#(X, n__g(X), Y) -> f#(activate(Y), activate(Y), activate(Y))}
     Weak:
     { f(X, n__g(X), Y) -> f(activate(Y), activate(Y), activate(Y)),
            activate(X) -> X,
      activate(n__g(X)) -> g(X),
                   g(X) -> n__g(X),
                 g(b()) -> c(),
                    b() -> c()}
     Fail