Consider the following premises. It is not overcast. Mary is listening to a song if and only if Richard is making tea. If Richard makes tea, then it is overcast. Can we infer the following from them? If we can, name the inference rule being used: Mary is listening to a song.
 From the fact that if Richard makes tea, then it is overcast, and that it is not overcast we can infer that Richard is not making tea via modus tollens. Finally, from the fact that Mary is listening to a song if and only if Richard is making tea, and that Richard is not making tea we can infer that Mary is not listening to a song via biconditional elimination, which contradicts that Mary is listening to a song. Therefore, the answer is no.