MAYBE
183.82/56.92	MAYBE
183.82/56.92	
183.82/56.92	Problem:
183.82/56.92	 a(s(x1)) -> s(s(s(p(s(b(p(p(s(s(x1))))))))))
183.82/56.92	 b(s(x1)) -> s(s(s(p(p(s(s(c(p(s(p(s(x1))))))))))))
183.82/56.92	 c(s(x1)) -> p(s(p(s(a(p(s(p(s(x1)))))))))
183.82/56.92	 p(p(s(x1))) -> p(x1)
183.82/56.92	 p(s(x1)) -> x1
183.82/56.92	
183.82/56.92	Proof:
183.82/56.92	 Open
183.82/56.92	EOF