Consider the following premises. For all x_13, if x_13 plays squash, then x_13 is a politician. For all x_13, if x_13 were a server, then x_13 is not a scientist. There is at least one x_13 for which if x_13 were a politician, then x_13 is a scientist. For all x_13, if x_13 works, then x_13 is a politician. For all x_13, x_13 will work or x_13 will play squash. Can we infer the following from them? For all x_13, x_13 is a server.
 From the fact that for all x_13, if x_13 works, then x_13 is a politician, that for all x_13, if x_13 plays squash, then x_13 is a politician, and that for all x_13, x_13 will work or x_13 will play squash we can infer that for all x_13, x_13 is a politician. From the fact that there is at least one x_13 for which if x_13 were a politician, then x_13 is a scientist, and that for all x_13, x_13 is a politician we can infer that there is at least one x_13 for which x_13 is a scientist. Finally, from the fact that for all x_13, if x_13 were a server, then x_13 is not a scientist, and that there is at least one x_13 for which x_13 is a scientist we can infer that there is at least one x_13 for which x_13 is not a server, which contradicts that For all x_13, x_13 is a server. Therefore, the answer is no.