Consider the following premises. For all x, if x sleeps, then x is a police officer. For all x, if x were a police officer, then x is sleeping. Mary is not sleeping. Can we infer the following from them? Mary is not sleeping.
That is one of the premises. Therefore, the answer is yes.