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