MAYBE
141.75/55.33	MAYBE
141.75/55.33	
141.75/55.33	Problem:
141.75/55.33	 a(a(b(x1))) -> a(x1)
141.75/55.33	 a(b(a(x1))) -> b(b(a(x1)))
141.75/55.33	 b(b(x1)) -> a(a(a(x1)))
141.75/55.33	
141.75/55.33	Proof:
141.75/55.33	 Open
141.75/55.33	EOF