MAYBE
67.78/33.31	MAYBE
67.78/33.31	
67.78/33.31	Problem:
67.78/33.31	 a(x1) -> b(b(c(b(c(x1)))))
67.78/33.31	 c(b(b(x1))) -> a(x1)
67.78/33.31	 c(c(x1)) -> x1
67.78/33.31	
67.78/33.31	Proof:
67.78/33.31	 Open
67.78/33.31	EOF