Consider the following premises. It is not overcast. It is windy if and only if it is overcast. It is not late or William is sleeping. It is late or it is windy. Can we infer the following from them? If we can, name the inference rule being used: William is not sleeping.
 From the fact that it is windy if and only if it is overcast we can infer that if it is windy, then it is overcast via biconditional elimination. From the fact that it is late or it is windy, and that it is not late or William is sleeping we can infer that it is windy or William is sleeping via resolution. From the fact that if it is windy, then it is overcast, and that it is not overcast we can infer that it is not windy via modus tollens. Finally, from the fact that it is windy or William is sleeping, and that it is not windy we can infer that William is sleeping via disjunctive syllogism, which contradicts that William is not sleeping. Therefore, the answer is no.