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