Consider the following premises. For all x, x will not read a book. Linda is a nurse. Charles is reading a book if and only if it is overcast. Can we infer the following from them? It is not overcast.
 From the fact that for all x, x will not read a book we can infer that Charles is not reading a book. Finally, from the fact that Charles is reading a book if and only if it is overcast, and that Charles is not reading a book we can infer that it is not overcast. Therefore, the answer is yes.