Consider the following premises. If it is late, then Joseph is a bartender. For all z_1, if z_1 were a bartender, then z_1 is reading a book. If Joseph reads a book, then it is late. Can we infer the following from them? If we can, name the inference rule being used: If Joseph reads a book, then it is late.
That is one of the premises. Therefore, the answer is yes.