MAYBE
155.20/56.68	MAYBE
155.20/56.68	
155.20/56.68	Problem:
155.20/56.68	 a(b(x1)) -> b(c(a(x1)))
155.20/56.68	 b(c(x1)) -> c(b(b(x1)))
155.20/56.68	 b(a(x1)) -> a(c(b(x1)))
155.20/56.68	
155.20/56.68	Proof:
155.20/56.68	 Open
155.20/56.68	EOF