MAYBE
218.88/55.38	MAYBE
218.88/55.38	
218.88/55.38	Problem:
218.88/55.38	 a(a(x1)) -> b(b(b(c(x1))))
218.88/55.38	 b(c(b(x1))) -> a(b(c(x1)))
218.88/55.38	
218.88/55.38	Proof:
218.88/55.38	 Open
218.88/55.38	EOF