Consider the following premises. It is overcast. For all x_18, x_18 will listen to a song. If Richard were poor, then it is not overcast. Can we infer the following from them? If we can, name the inference rule being used: Richard is poor.
 From the fact that for all x_18, x_18 will listen to a song we can infer that Susan is listening to a song via universal instantiation. Finally, from the fact that if Richard were poor, then it is not overcast, and that it is overcast we can infer that Richard is not poor via modus tollens, which contradicts that Richard is poor. Therefore, the answer is no.