Consider the following premises. John is sleeping. John is sleeping if and only if Richard is an astronaut. Can we infer the following from them? It is not overcast.
We cannot infer that from the premises. Therefore the answer is no.