MAYBE
32.53/10.41	MAYBE
32.53/10.41	
32.53/10.41	Problem:
32.53/10.41	 a(x1) -> x1
32.53/10.41	 a(b(x1)) -> a(c(b(b(c(x1)))))
32.53/10.41	 b(x1) -> x1
32.53/10.41	 c(c(x1)) -> a(x1)
32.53/10.41	
32.53/10.41	Proof:
32.53/10.41	 Open
32.53/10.41	EOF