Consider the following premises. For all x_13, if x_13 reads a book, then x_13 is a server. For all x_13, if x_13 were a server, then x_13 is reading a book. It is snowing if and only if Richard is a server. It is not snowing. Can we infer the following from them? Richard is reading a book.
 From the fact that for all x_13, if x_13 reads a book, then x_13 is a server, and that for all x_13, if x_13 were a server, then x_13 is reading a book we can infer that for all x_13, x_13 will read a book if and only if x_13 is a server. From the fact that for all x_13, x_13 will read a book if and only if x_13 is a server we can infer that Richard is reading a book if and only if Richard is a server. From the fact that it is snowing if and only if Richard is a server, and that it is not snowing we can infer that Richard is not a server. From the fact that Richard is reading a book if and only if Richard is a server we can infer that if Richard reads a book, then Richard is a server. Finally, from the fact that if Richard reads a book, then Richard is a server, and that Richard is not a server we can infer that Richard is not reading a book, which contradicts that Richard is reading a book. Therefore, the answer is no.