Consider the following premises. If it is overcast, then Mary is an astronaut. If it is overcast, then it is sunny. It is sunny if and only if it is overcast. 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.