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