MAYBE
75.40/34.94	MAYBE
75.40/34.94	
75.40/34.94	Problem:
75.40/34.94	 a(x1) -> x1
75.40/34.94	 a(b(x1)) -> c(x1)
75.40/34.94	 c(c(x1)) -> b(c(b(a(a(x1)))))
75.40/34.94	
75.40/34.94	Proof:
75.40/34.94	 Open
75.40/34.95	EOF