MAYBE
231.29/61.77	MAYBE
231.29/61.77	
231.29/61.77	Problem:
231.29/61.77	 g(h(x1)) -> g(f(s(x1)))
231.29/61.77	 f(s(s(s(x1)))) -> h(f(s(h(x1))))
231.29/61.77	 f(h(x1)) -> h(f(s(h(x1))))
231.29/61.77	 h(x1) -> x1
231.29/61.77	 f(f(s(s(x1)))) -> s(s(s(f(f(x1)))))
231.29/61.77	 b(a(x1)) -> a(b(x1))
231.29/61.77	 a(a(a(x1))) -> b(a(a(b(x1))))
231.29/61.77	 b(b(b(b(x1)))) -> a(x1)
231.29/61.77	
231.29/61.77	Proof:
231.29/61.77	 Open
231.29/61.78	EOF