Consider the following premises. Mary is climbing a mountain. If it is windy, then Joseph is sleeping. Charles is working if and only if Joseph is sleeping. Charles is not working. Can we infer the following from them? If we can, name the inference rule being used: If it is not windy, then Mary is climbing a mountain.
We cannot infer that from the premises. Therefore the answer is no.