Consider the following premises. Barbara is cooking if and only if John is sleeping. Sarah is excited if and only if John is sleeping. Sarah is not excited. Mary is writing a letter. Can we infer the following from them? If we can, name the inference rule being used: Mary is not writing a letter.
That contradicts the premises. Therefore the answer is no.