Consider the following premises. For all z, z will read a book or z is not a carpenter. For all z, if z reads a book, then z is a carpenter. Can we infer the following from them? For all z, if z were a carpenter, then z is reading a book.
Yes.