MAYBE
48.52/15.67	MAYBE
48.52/15.67	
48.52/15.67	Problem:
48.52/15.67	 a(x1) -> b(b(c(x1)))
48.52/15.67	 a(b(x1)) -> x1
48.52/15.67	 c(c(b(x1))) -> a(a(c(x1)))
48.52/15.67	
48.52/15.67	Proof:
48.52/15.67	 Open
48.52/15.67	EOF