MAYBE
184.08/55.33	MAYBE
184.08/55.33	
184.08/55.33	Problem:
184.08/55.33	 a(b(x1)) -> b(b(a(x1)))
184.08/55.33	 b(c(x1)) -> c(b(b(x1)))
184.08/55.33	 c(a(x1)) -> a(c(c(x1)))
184.08/55.33	
184.08/55.33	Proof:
184.08/55.33	 Open
184.08/55.33	EOF