Consider the following premises. If Richard were excited, then Barbara is listening to a song. For all x_19, x_19 will not listen to a song. Karen is playing tennis if and only if Richard is excited. Can we infer the following from them? If we can, name the inference rule being used: Karen is not playing tennis or John is an artist.
 From the fact that for all x_19, x_19 will not listen to a song we can infer that Barbara is not listening to a song via universal instantiation. From the fact that if Richard were excited, then Barbara is listening to a song, and that Barbara is not listening to a song we can infer that Richard is not excited via modus tollens. From the fact that Karen is playing tennis if and only if Richard is excited, and that Richard is not excited we can infer that Karen is not playing tennis via biconditional elimination. Finally, from the fact that Karen is not playing tennis we can infer that Karen is not playing tennis or John is an artist via addition. Therefore, the answer is yes.