MAYBE
186.68/55.82	MAYBE
186.68/55.82	
186.68/55.82	Problem:
186.68/55.82	 b(a(a(x1))) -> a(b(c(x1)))
186.68/55.82	 c(a(x1)) -> a(c(x1))
186.68/55.82	 c(b(x1)) -> b(a(x1))
186.68/55.82	 a(a(x1)) -> a(b(a(x1)))
186.68/55.82	
186.68/55.82	Proof:
186.68/55.82	 Open
186.68/55.82	EOF