Consider the following premises. For all x_8, if x_8 were a sailor, then x_8 is taking a plane. If Jessica listens to a song, then Jennifer is taking a plane. Jessica is listening to a song. Can we infer the following from them? If we can, name the inference rule being used: Jennifer is taking a plane.
 From the fact that for all x_8, if x_8 were a sailor, then x_8 is taking a plane we can infer that if Jennifer were a sailor, then Jennifer is taking a plane via universal instantiation. From the fact that Jessica is listening to a song we can infer that Jessica is listening to a song or Jennifer is a sailor via addition. Finally, from the fact that if Jessica listens to a song, then Jennifer is taking a plane, that if Jennifer were a sailor, then Jennifer is taking a plane, and that Jessica is listening to a song or Jennifer is a sailor we can infer that Jennifer is taking a plane via disjunction elimination. Therefore, the answer is yes.