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