Consider the following premises. For all x_18, x_18 is not a writer. For all x_18, x_18 is poor or x_18 will take a plane. There is at least one x_18 for which if x_18 were poor, then x_18 is a lawyer. For all x_18, if x_18 were a lawyer, then x_18 is a writer. Can we infer the following from them? If we can, name the inference rule being used: There is at least one x_18 for which x_18 will take a plane or x_18 is bored.
 From the fact that there is at least one x_18 for which if x_18 were poor, then x_18 is a lawyer, and that for all x_18, if x_18 were a lawyer, then x_18 is a writer we can infer that there is at least one x_18 for which if x_18 were poor, then x_18 is a writer via existential transitivity. From the fact that there is at least one x_18 for which if x_18 were poor, then x_18 is a writer, and that for all x_18, x_18 is not a writer we can infer that there is at least one x_18 for which x_18 is not poor via existential modus tollens. From the fact that for all x_18, x_18 is poor or x_18 will take a plane, and that there is at least one x_18 for which x_18 is not poor we can infer that there is at least one x_18 for which x_18 will take a plane via existential disjunctive syllogism. Finally, from the fact that there is at least one x_18 for which x_18 will take a plane we can infer that there is at least one x_18 for which x_18 will take a plane or x_18 is bored via existential addition. Therefore, the answer is yes.