Consider the following premises. It is sunny if and only if it is snowing. It is not cloudy. It is cloudy if and only if it is snowing. Can we infer the following from them? If we can, name the inference rule being used: It is overcast.
We cannot infer that from the premises. Therefore the answer is no.