Consider the following premises. There is at least one x_17 for which x_17 will drink water. For all x_17, if x_17 were a writer, then x_17 is working. For all x_17, if x_17 works, then x_17 is a writer. For all x_17, x_17 will climb a mountain if and only if x_17 is a writer. For all x_17, if x_17 climbs a mountain, then x_17 is not drinking water. Can we infer the following from them? There is at least one x_17 for which x_17 will not work.
 From the fact that for all x_17, if x_17 were a writer, then x_17 is working, and that for all x_17, if x_17 works, then x_17 is a writer we can infer that for all x_17, x_17 is a writer if and only if x_17 will work. From the fact that for all x_17, if x_17 climbs a mountain, then x_17 is not drinking water, and that there is at least one x_17 for which x_17 will drink water we can infer that there is at least one x_17 for which x_17 will not climb a mountain. From the fact that for all x_17, x_17 will climb a mountain if and only if x_17 is a writer, and that there is at least one x_17 for which x_17 will not climb a mountain we can infer that there is at least one x_17 for which x_17 is not a writer. Finally, from the fact that for all x_17, x_17 is a writer if and only if x_17 will work, and that there is at least one x_17 for which x_17 is not a writer we can infer that there is at least one x_17 for which x_17 will not work. Therefore, the answer is yes.