MAYBE
123.92/55.35	MAYBE
123.92/55.35	
123.92/55.35	Problem:
123.92/55.35	 a(x1) -> b(x1)
123.92/55.35	 a(b(b(x1))) -> c(x1)
123.92/55.35	 c(c(x1)) -> a(b(c(a(x1))))
123.92/55.35	
123.92/55.35	Proof:
123.92/55.35	 Open
123.92/55.35	EOF