Consider the following premises. For all x_7, x_7 is an astronaut if and only if x_7 is a server. Jennifer is playing squash if and only if Barbara is a janitor. Linda is a server if and only if it is sunny. If it is sunny, then Barbara is a janitor. Jennifer is not playing squash. Can we infer the following from them? Linda is an astronaut.
 From the fact that Jennifer is playing squash if and only if Barbara is a janitor, and that Jennifer is not playing squash we can infer that Barbara is not a janitor. From the fact that if it is sunny, then Barbara is a janitor, and that Barbara is not a janitor we can infer that it is not sunny. From the fact that for all x_7, x_7 is an astronaut if and only if x_7 is a server we can infer that Linda is an astronaut if and only if Linda is a server. From the fact that Linda is a server if and only if it is sunny, and that it is not sunny we can infer that Linda is not a server. Finally, from the fact that Linda is an astronaut if and only if Linda is a server, and that Linda is not a server we can infer that Linda is not an astronaut, which contradicts that Linda is an astronaut. Therefore, the answer is no.