MAYBE
43.45/13.62	MAYBE
43.45/13.62	
43.45/13.62	Problem:
43.45/13.62	 a(x1) -> x1
43.45/13.62	 a(b(b(x1))) -> b(b(b(a(c(a(x1))))))
43.45/13.62	 c(b(x1)) -> x1
43.45/13.62	
43.45/13.62	Proof:
43.45/13.62	 Open
43.45/13.63	EOF