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