Consider the following premises. If it rains, then James is reading a book. For all z, if z reads a book, then z is drinking water. It is raining. Can we infer the following from them? If we can, name the inference rule being used: James is drinking water.
 From the fact that for all z, if z reads a book, then z is drinking water we can infer that if James reads a book, then James is drinking water via universal instantiation. From the fact that if it rains, then James is reading a book, and that if James reads a book, then James is drinking water we can infer that if it rains, then James is drinking water via transitivity. Finally, from the fact that if it rains, then James is drinking water, and that it is raining we can infer that James is drinking water via modus ponens. Therefore, the answer is yes.