Consider the following premises. Richard is a lawyer. It is not late. If Michael listens to a song, then Robert is an artist. Robert is an artist if and only if it is late. Can we infer the following from them? Michael is not listening to a song and Richard is a lawyer.
 From the fact that Robert is an artist if and only if it is late, and that it is not late we can infer that Robert is not an artist. From the fact that if Michael listens to a song, then Robert is an artist, and that Robert is not an artist we can infer that Michael is not listening to a song. Finally, from the fact that Michael is not listening to a song, and that Richard is a lawyer we can infer that Michael is not listening to a song and Richard is a lawyer. Therefore, the answer is yes.