Consider the following premises. If Richard listens to a song, then Robert is an electrician. If it is late, then Robert is an electrician. If Linda were a musician, then Richard is listening to a song. It is overcast or Linda is a musician. It is not overcast or it is late. Can we infer the following from them? If we can, name the inference rule being used: Robert is not an electrician.
 From the fact that it is overcast or Linda is a musician, and that it is not overcast or it is late we can infer that Linda is a musician or it is late via resolution. From the fact that if Linda were a musician, then Richard is listening to a song, and that if Richard listens to a song, then Robert is an electrician we can infer that if Linda were a musician, then Robert is an electrician via transitivity. Finally, from the fact that if Linda were a musician, then Robert is an electrician, that if it is late, then Robert is an electrician, and that Linda is a musician or it is late we can infer that Robert is an electrician via disjunction elimination, which contradicts that Robert is not an electrician. Therefore, the answer is no.