MAYBE
193.44/55.45	MAYBE
193.44/55.45	
193.44/55.45	Problem:
193.44/55.45	 a(b(x1)) -> b(c(a(x1)))
193.44/55.45	 b(c(x1)) -> c(b(b(x1)))
193.44/55.45	 a(c(x1)) -> c(a(b(x1)))
193.44/55.45	
193.44/55.45	Proof:
193.44/55.45	 Open
193.44/55.46	EOF