MAYBE 239.05/65.17 MAYBE 239.05/65.17 239.05/65.17 Problem: 239.05/65.17 i(x,x) -> i(a(),b()) 239.05/65.17 g(x,x) -> g(a(),b()) 239.05/65.17 h(s(f(x))) -> h(f(x)) 239.05/65.17 f(s(x)) -> s(s(f(h(s(x))))) 239.05/65.17 f(g(s(x),y)) -> f(g(x,s(y))) 239.05/65.17 h(g(x,s(y))) -> h(g(s(x),y)) 239.05/65.17 h(i(x,y)) -> i(i(c(),h(h(y))),x) 239.05/65.17 g(a(),g(x,g(b(),g(a(),g(x,y))))) -> g(a(),g(a(),g(a(),g(x,g(b(),g(b(),y)))))) 239.05/65.17 239.05/65.17 Proof: 239.05/65.17 Open 239.05/65.17 EOF