MAYBE
145.75/55.41	MAYBE
145.75/55.41	
145.75/55.41	Problem:
145.75/55.41	 b(b(b(x1))) -> a(x1)
145.75/55.41	 a(a(x1)) -> a(b(a(x1)))
145.75/55.41	 b(c(x1)) -> c(a(a(x1)))
145.75/55.41	 a(c(x1)) -> c(b(b(x1)))
145.75/55.41	 a(a(a(x1))) -> b(a(a(x1)))
145.75/55.41	
145.75/55.41	Proof:
145.75/55.41	 Open
145.75/55.41	EOF