MAYBE
96.33/55.29	MAYBE
96.33/55.29	
96.33/55.29	Problem:
96.33/55.29	 a(a(x1)) -> x1
96.33/55.29	 a(b(x1)) -> c(c(x1))
96.33/55.29	 c(b(x1)) -> b(b(a(x1)))
96.33/55.29	
96.33/55.29	Proof:
96.33/55.29	 Open
96.33/55.29	EOF