Consider the following premises. There is at least one x_8 for which x_8 will sleep and x_8 will work. For all x_8, x_8 will climb a mountain. Can we infer the following from them? For all x_8, x_8 will not climb a mountain.
That contradicts the premises. Therefore the answer is no.