Consider the following premises. It is late or Mary is a lawyer. It is not late or John is listening to a song. If Mary were a lawyer, then Karen is excited. It is cold. If John listens to a song, then Karen is excited. Can we infer the following from them? If we can, name the inference rule being used: Karen is excited.
 From the fact that it is late or Mary is a lawyer, and that it is not late or John is listening to a song we can infer that Mary is a lawyer or John is listening to a song via resolution. Finally, from the fact that if Mary were a lawyer, then Karen is excited, that if John listens to a song, then Karen is excited, and that Mary is a lawyer or John is listening to a song we can infer that Karen is excited via disjunction elimination. Therefore, the answer is yes.