Consider the following premises. If Susan doesn't go running, then it is late. If Susan goes running, then Jessica is excited. For all x_17, x_17 is a server if and only if x_17 is excited. For all x_17, x_17 is not a server. Can we infer the following from them? It is late.
 From the fact that for all x_17, x_17 is a server if and only if x_17 is excited, and that for all x_17, x_17 is not a server we can infer that for all x_17, x_17 is not excited. From the fact that for all x_17, x_17 is not excited we can infer that Jessica is not excited. From the fact that if Susan goes running, then Jessica is excited, and that Jessica is not excited we can infer that Susan is not running. Finally, from the fact that if Susan doesn't go running, then it is late, and that Susan is not running we can infer that it is late. Therefore, the answer is yes.