MAYBE
198.80/57.07	MAYBE
198.80/57.07	
198.80/57.07	Problem:
198.80/57.07	 a(a(b(x1))) -> b(a(b(c(a(x1)))))
198.80/57.07	 b(a(x1)) -> a(b(b(x1)))
198.80/57.07	 b(c(a(x1))) -> c(a(b(x1)))
198.80/57.07	
198.80/57.07	Proof:
198.80/57.07	 Open
198.80/57.07	EOF