Consider the following premises. Elisabeth is excited. It is windy if and only if Patricia is sleeping. If it is windy, then Elisabeth is not excited. Can we infer the following from them? If we can, name the inference rule being used: Susan is running.
We cannot infer that from the premises. Therefore the answer is no.