MAYBE
44.44/14.46	MAYBE
44.44/14.46	
44.44/14.46	Problem:
44.44/14.46	 a(x1) -> x1
44.44/14.46	 a(b(a(x1))) -> a(x1)
44.44/14.46	 b(a(a(b(x1)))) -> a(a(a(a(b(b(b(x1)))))))
44.44/14.46	 a(a(a(a(x1)))) -> b(x1)
44.44/14.46	
44.44/14.46	Proof:
44.44/14.46	 Open
44.44/14.47	EOF