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