MAYBE
229.82/58.84	MAYBE
229.82/58.84	
229.82/58.84	Problem:
229.82/58.84	 p(0(x1)) -> s(s(0(s(s(p(x1))))))
229.82/58.84	 p(s(0(x1))) -> 0(x1)
229.82/58.84	 p(s(s(x1))) -> s(p(s(x1)))
229.82/58.84	 f(s(x1)) -> g(q(i(x1)))
229.82/58.84	 g(x1) -> f(p(p(x1)))
229.82/58.84	 q(i(x1)) -> q(s(x1))
229.82/58.84	 q(s(x1)) -> s(s(x1))
229.82/58.84	 i(x1) -> s(x1)
229.82/58.84	
229.82/58.84	Proof:
229.82/58.84	 Open
229.82/58.85	EOF