Consider the following premises. For all x_9, x_9 is excited. John is not poor. John is poor if and only if it is overcast. Can we infer the following from them? It is not overcast and Michael is excited.
 From the fact that John is poor if and only if it is overcast, and that John is not poor we can infer that it is not overcast. From the fact that for all x_9, x_9 is excited we can infer that Michael is excited. Finally, from the fact that it is not overcast, and that Michael is excited we can infer that it is not overcast and Michael is excited. Therefore, the answer is yes.