Consider the following premises. Elisabeth is not bored. If it snows, then Sarah is poor. Elisabeth is bored if and only if Sarah is poor. If William makes tea, then it is windy. If it is windy, then it is snowing. Can we infer the following from them? If we can, name the inference rule being used: Mary is not sleeping.
We cannot infer that from the premises. Therefore the answer is no.