MAYBE
56.85/22.65	MAYBE
56.85/22.65	
56.85/22.65	Problem:
56.85/22.65	 a(x1) -> x1
56.85/22.65	 a(b(c(x1))) -> b(c(c(a(x1))))
56.85/22.65	 c(x1) -> b(a(x1))
56.85/22.65	
56.85/22.65	Proof:
56.85/22.65	 Open
56.85/22.65	EOF