MAYBE

Problem:
 i(x,x) -> i(a(),b())
 g(x,x) -> g(a(),b())
 h(s(f(x))) -> h(f(x))
 f(s(x)) -> s(s(f(h(s(x)))))
 f(g(s(x),y)) -> f(g(x,s(y)))
 h(g(x,s(y))) -> h(g(s(x),y))
 h(i(x,y)) -> i(i(c(),h(h(y))),x)
 g(a(),g(x,g(b(),g(a(),g(x,y))))) -> g(a(),g(a(),g(a(),g(x,g(b(),g(b(),y))))))

Proof:
 DP Processor:
  DPs:
   i#(x,x) -> i#(a(),b())
   g#(x,x) -> g#(a(),b())
   h#(s(f(x))) -> h#(f(x))
   f#(s(x)) -> h#(s(x))
   f#(s(x)) -> f#(h(s(x)))
   f#(g(s(x),y)) -> g#(x,s(y))
   f#(g(s(x),y)) -> f#(g(x,s(y)))
   h#(g(x,s(y))) -> g#(s(x),y)
   h#(g(x,s(y))) -> h#(g(s(x),y))
   h#(i(x,y)) -> h#(y)
   h#(i(x,y)) -> h#(h(y))
   h#(i(x,y)) -> i#(c(),h(h(y)))
   h#(i(x,y)) -> i#(i(c(),h(h(y))),x)
   g#(a(),g(x,g(b(),g(a(),g(x,y))))) -> g#(b(),y)
   g#(a(),g(x,g(b(),g(a(),g(x,y))))) -> g#(b(),g(b(),y))
   g#(a(),g(x,g(b(),g(a(),g(x,y))))) -> g#(x,g(b(),g(b(),y)))
   g#(a(),g(x,g(b(),g(a(),g(x,y))))) -> g#(a(),g(x,g(b(),g(b(),y))))
   g#(a(),g(x,g(b(),g(a(),g(x,y))))) -> g#(a(),g(a(),g(x,g(b(),g(b(),y)))))
   g#(a(),g(x,g(b(),g(a(),g(x,y))))) -> g#(a(),g(a(),g(a(),g(x,g(b(),g(b(),y))))))
  TRS:
   i(x,x) -> i(a(),b())
   g(x,x) -> g(a(),b())
   h(s(f(x))) -> h(f(x))
   f(s(x)) -> s(s(f(h(s(x)))))
   f(g(s(x),y)) -> f(g(x,s(y)))
   h(g(x,s(y))) -> h(g(s(x),y))
   h(i(x,y)) -> i(i(c(),h(h(y))),x)
   g(a(),g(x,g(b(),g(a(),g(x,y))))) -> g(a(),g(a(),g(a(),g(x,g(b(),g(b(),y))))))
  Open