MAYBE
184.48/58.89	MAYBE
184.48/58.89	
184.48/58.89	Problem:
184.48/58.89	 s(b(x1)) -> b(s(s(s(x1))))
184.48/58.89	 s(b(s(x1))) -> b(t(x1))
184.48/58.89	 t(b(x1)) -> b(s(x1))
184.48/58.89	 t(b(s(x1))) -> u(t(b(x1)))
184.48/58.89	 b(u(x1)) -> b(s(x1))
184.48/58.89	 t(s(x1)) -> t(t(x1))
184.48/58.89	 t(u(x1)) -> u(t(x1))
184.48/58.89	 s(u(x1)) -> s(s(x1))
184.48/58.89	
184.48/58.89	Proof:
184.48/58.89	 Open
184.48/58.89	EOF