Consider the following premises. It is snowing if and only if it is windy. It is overcast if and only if it is snowing. It is not windy. Can we infer the following from them? It is not overcast.
 From the fact that it is snowing if and only if it is windy, and that it is not windy we can infer that it is not snowing. From the fact that it is overcast if and only if it is snowing we can infer that if it is overcast, then it is snowing. Finally, from the fact that if it is overcast, then it is snowing, and that it is not snowing we can infer that it is not overcast. Therefore, the answer is yes.