MAYBE
47.56/13.92	MAYBE
47.56/13.92	
47.56/13.92	Problem:
47.56/13.92	 a(x1) -> b(c(x1))
47.56/13.92	 b(a(b(x1))) -> a(a(a(x1)))
47.56/13.92	 c(c(x1)) -> a(x1)
47.56/13.92	
47.56/13.92	Proof:
47.56/13.92	 Open
47.56/13.92	EOF