MAYBE
38.00/10.30	MAYBE
38.00/10.30	
38.00/10.30	Problem:
38.00/10.30	 a(b(x1)) -> x1
38.00/10.30	 a(c(x1)) -> c(b(c(b(x1))))
38.00/10.30	 b(c(x1)) -> a(a(x1))
38.00/10.30	
38.00/10.30	Proof:
38.00/10.30	 Open
38.00/10.31	EOF