Consider the following premises. It is raining. It is sunny if and only if it is raining. If it is sunny, then it is raining. Can we infer the following from them? If we can, name the inference rule being used: Mary is not writing a letter.
We cannot infer that from the premises. Therefore the answer is no.