Consider the following premises. If William were a server, then Barbara is a soldier. If it is sunny, then William is a server. For all x_17, if x_17 were a soldier, then x_17 is playing tennis. Barbara is not playing tennis. If William were a server, then it is sunny. Can we infer the following from them? It is sunny.
 From the fact that for all x_17, if x_17 were a soldier, then x_17 is playing tennis we can infer that if Barbara were a soldier, then Barbara is playing tennis. From the fact that if William were a server, then Barbara is a soldier, and that if Barbara were a soldier, then Barbara is playing tennis we can infer that if William were a server, then Barbara is playing tennis. From the fact that if William were a server, then Barbara is playing tennis, and that Barbara is not playing tennis we can infer that William is not a server. From the fact that if William were a server, then it is sunny, and that if it is sunny, then William is a server we can infer that William is a server if and only if it is sunny. Finally, from the fact that William is a server if and only if it is sunny, and that William is not a server we can infer that it is not sunny, which contradicts that It is sunny. Therefore, the answer is no.