MAYBE
131.80/55.31	MAYBE
131.80/55.31	
131.80/55.31	Problem:
131.80/55.31	 a(b(x1)) -> b(a(a(x1)))
131.80/55.31	 b(x1) -> c(a(c(x1)))
131.80/55.31	 a(a(x1)) -> a(c(a(x1)))
131.80/55.31	
131.80/55.31	Proof:
131.80/55.31	 Open
131.80/55.31	EOF