Consider the following premises. For all y_1, if y_1 were a doctor, then y_1 is a soldier. For all y_1, if y_1 were poor, then y_1 is a writer. For all y_1, if y_1 were a writer, then y_1 is a doctor. For all y_1, if y_1 were a soldier, then y_1 is poor. Can we infer the following from them? If we can, name the inference rule being used: For all y_1, if y_1 were a doctor, then y_1 is a writer.
 From the fact that for all y_1, if y_1 were a soldier, then y_1 is poor, and that for all y_1, if y_1 were poor, then y_1 is a writer we can infer that for all y_1, if y_1 were a soldier, then y_1 is a writer via universal transitivity. Finally, from the fact that for all y_1, if y_1 were a doctor, then y_1 is a soldier, and that for all y_1, if y_1 were a soldier, then y_1 is a writer we can infer that for all y_1, if y_1 were a doctor, then y_1 is a writer via universal transitivity. Therefore, the answer is yes.