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