Consider the following premises. Karen is running if and only if Jennifer is sad. If it is cloudy, then Jennifer is sad. It is cloudy or Karen is running. Can we infer the following from them? If we can, name the inference rule being used: Thomas is not sleeping.
We cannot infer that from the premises. Therefore the answer is no.