MAYBE
32.85/10.32	MAYBE
32.85/10.32	
32.85/10.32	Problem:
32.85/10.32	 a(x1) -> x1
32.85/10.32	 a(b(x1)) -> b(b(a(c(x1))))
32.85/10.32	 b(x1) -> x1
32.85/10.32	 c(c(x1)) -> a(x1)
32.85/10.32	
32.85/10.32	Proof:
32.85/10.32	 Open
32.85/10.33	EOF