MAYBE
38.53/10.37	MAYBE
38.53/10.37	
38.53/10.37	Problem:
38.53/10.37	 a(x1) -> x1
38.53/10.37	 a(b(x1)) -> b(b(a(c(x1))))
38.53/10.37	 b(b(x1)) -> x1
38.53/10.37	 c(c(x1)) -> a(x1)
38.53/10.37	
38.53/10.37	Proof:
38.53/10.37	 Open
38.53/10.37	EOF