Consider the following premises. There is at least one x_7 for which if x_7 takes a plane, then x_7 is running. For all x_7, if x_7 were a poet, then x_7 is running. For all x_7, x_7 will take a plane or x_7 is a poet. For all x_7, if x_7 reads a book, then x_7 is not running. Can we infer the following from them? If we can, name the inference rule being used: There is at least one x_7 for which x_7 will not read a book.
 From the fact that there is at least one x_7 for which if x_7 takes a plane, then x_7 is running, that for all x_7, if x_7 were a poet, then x_7 is running, and that for all x_7, x_7 will take a plane or x_7 is a poet we can infer that there is at least one x_7 for which x_7 will go running via existential disjunction elimination. Finally, from the fact that for all x_7, if x_7 reads a book, then x_7 is not running, and that there is at least one x_7 for which x_7 will go running we can infer that there is at least one x_7 for which x_7 will not read a book via existential modus tollens. Therefore, the answer is yes.