Consider the following premises. For all x_8, x_8 is a lawyer. For all x_8, x_8 is sad or x_8 is a sailor. For all x_8, if x_8 were sad, then x_8 is making tea. For all x_8, if x_8 were a sailor, then x_8 is making tea. For all x_8, if x_8 were a lawyer, then x_8 is reading a book. Can we infer the following from them? If we can, name the inference rule being used: For all x_8, x_8 will make tea and x_8 will read a book.
 From the fact that for all x_8, if x_8 were sad, then x_8 is making tea, that for all x_8, if x_8 were a sailor, then x_8 is making tea, and that for all x_8, x_8 is sad or x_8 is a sailor we can infer that for all x_8, x_8 will make tea via universal disjunction elimination. From the fact that for all x_8, if x_8 were a lawyer, then x_8 is reading a book, and that for all x_8, x_8 is a lawyer we can infer that for all x_8, x_8 will read a book via universal modus ponens. Finally, from the fact that for all x_8, x_8 will make tea, and that for all x_8, x_8 will read a book we can infer that for all x_8, x_8 will make tea and x_8 will read a book via universal conjunction. Therefore, the answer is yes.