Consider the following premises. Elisabeth is a sailor if and only if Susan is working. Barbara is happy or Susan is not working. Can we infer the following from them? If we can, name the inference rule being used: Susan is working.
We cannot infer that from the premises. Therefore the answer is no.