MAYBE
52.30/14.73	MAYBE
52.30/14.73	
52.30/14.73	Problem:
52.30/14.73	 a(x1) -> b(c(x1))
52.30/14.73	 b(a(b(x1))) -> c(x1)
52.30/14.73	 c(c(x1)) -> a(a(b(x1)))
52.30/14.73	
52.30/14.73	Proof:
52.30/14.73	 Open
52.30/14.73	EOF