MAYBE
38.85/10.38	MAYBE
38.85/10.38	
38.85/10.38	Problem:
38.85/10.38	 a(x1) -> x1
38.85/10.38	 a(x1) -> b(x1)
38.85/10.38	 b(a(c(x1))) -> c(c(a(b(a(x1)))))
38.85/10.38	 c(x1) -> x1
38.85/10.38	
38.85/10.38	Proof:
38.85/10.38	 Open
38.85/10.39	EOF