Consider the following premises. Susan is not an astronaut. For all x_10, if x_10 listens to a song, then x_10 is an astronaut. If Jennifer were sad, then Susan is listening to a song. Can we infer the following from them? If we can, name the inference rule being used: Jennifer is not sad.
 From the fact that for all x_10, if x_10 listens to a song, then x_10 is an astronaut we can infer that if Susan listens to a song, then Susan is an astronaut via universal instantiation. From the fact that if Susan listens to a song, then Susan is an astronaut, and that Susan is not an astronaut we can infer that Susan is not listening to a song via modus tollens. Finally, from the fact that if Jennifer were sad, then Susan is listening to a song, and that Susan is not listening to a song we can infer that Jennifer is not sad via modus tollens. Therefore, the answer is yes.