Consider the following premises. If Linda were a police officer, then Joseph is reading a book. For all y, if y reads a book, then y is sleeping. If Joseph sleeps, then Linda is a police officer. Can we infer the following from them? If Joseph reads a book, then Joseph is sleeping.
Yes.