MAYBE
159.21/55.73	MAYBE
159.21/55.73	
159.21/55.73	Problem:
159.21/55.73	 a(a(x1)) -> b(b(b(x1)))
159.21/55.73	 a(x1) -> c(d(x1))
159.21/55.73	 b(b(x1)) -> c(c(c(x1)))
159.21/55.73	 c(c(x1)) -> d(d(d(x1)))
159.21/55.73	 e(d(x1)) -> a(b(c(d(e(x1)))))
159.21/55.73	 b(x1) -> d(d(x1))
159.21/55.73	 e(c(x1)) -> b(a(a(e(x1))))
159.21/55.73	 c(d(d(x1))) -> a(x1)
159.21/55.73	
159.21/55.73	Proof:
159.21/55.73	 Open
159.21/55.73	EOF