MAYBE
138.65/55.31	MAYBE
138.65/55.31	
138.65/55.31	Problem:
138.65/55.31	 a(a(x1)) -> b(c(x1))
138.65/55.31	 b(b(x1)) -> a(c(c(c(x1))))
138.65/55.31	 c(c(x1)) -> a(b(x1))
138.65/55.31	
138.65/55.31	Proof:
138.65/55.31	 Open
138.65/55.32	EOF