Consider the following premises. If Michael were a police officer, then it is windy. Michael is a police officer. It is windy or it is not overcast. Can we infer the following from them? If we can, name the inference rule being used: It is windy.
 From the fact that Michael is a police officer we can infer that Michael is a police officer or it is overcast via addition. From the fact that it is windy or it is not overcast we can infer that if it is overcast, then it is windy via rewriting. Finally, from the fact that if Michael were a police officer, then it is windy, that if it is overcast, then it is windy, and that Michael is a police officer or it is overcast we can infer that it is windy via disjunction elimination. Therefore, the answer is yes.