MAYBE
75.86/35.18	MAYBE
75.86/35.18	
75.86/35.18	Problem:
75.86/35.18	 a(x1) -> x1
75.86/35.18	 a(x1) -> b(x1)
75.86/35.18	 a(b(c(x1))) -> c(c(a(b(a(x1)))))
75.86/35.18	 c(x1) -> x1
75.86/35.18	
75.86/35.18	Proof:
75.86/35.18	 Open
75.86/35.18	EOF