MAYBE
139.65/57.41	MAYBE
139.65/57.41	
139.65/57.41	Problem:
139.65/57.41	 a(b(x1)) -> b(c(a(x1)))
139.65/57.41	 b(c(x1)) -> c(b(b(x1)))
139.65/57.41	 c(a(x1)) -> a(c(x1))
139.65/57.41	
139.65/57.41	Proof:
139.65/57.41	 Open
139.65/57.41	EOF