Consider the following premises. It is not raining. For all x_10, x_10 is an astronaut or x_10 is a server. If it rains, then Thomas is an astronaut. If Thomas were an astronaut, then it is raining. Can we infer the following from them? Thomas is not a server.
 From the fact that for all x_10, x_10 is an astronaut or x_10 is a server we can infer that Thomas is an astronaut or Thomas is a server. From the fact that if Thomas were an astronaut, then it is raining, and that if it rains, then Thomas is an astronaut we can infer that Thomas is an astronaut if and only if it is raining. From the fact that Thomas is an astronaut if and only if it is raining, and that it is not raining we can infer that Thomas is not an astronaut. Finally, from the fact that Thomas is an astronaut or Thomas is a server, and that Thomas is not an astronaut we can infer that Thomas is a server, which contradicts that Thomas is not a server. Therefore, the answer is no.