Consider the following premises. If William reads a book, then Sarah is a server. If William were bored, then Sarah is a server. For all x_4, x_4 is bored. Can we infer the following from them? Sarah is not a server.
 From the fact that for all x_4, x_4 is bored we can infer that for all x_4, x_4 is bored or x_4 will read a book. From the fact that for all x_4, x_4 is bored or x_4 will read a book we can infer that William is bored or William is reading a book. Finally, from the fact that if William were bored, then Sarah is a server, that if William reads a book, then Sarah is a server, and that William is bored or William is reading a book we can infer that Sarah is a server, which contradicts that Sarah is not a server. Therefore, the answer is no.