Consider the following premises. Mary is listening to a song if and only if it is overcast. If Mary listens to a song, then Susan is not a taxi driver. It is cloudy if and only if it is overcast. Susan is a taxi driver. Can we infer the following from them? If we can, name the inference rule being used: It is not cloudy.
 From the fact that if Mary listens to a song, then Susan is not a taxi driver, and that Susan is a taxi driver we can infer that Mary is not listening to a song via modus tollens. From the fact that Mary is listening to a song if and only if it is overcast, and that Mary is not listening to a song we can infer that it is not overcast via biconditional elimination. Finally, from the fact that it is cloudy if and only if it is overcast, and that it is not overcast we can infer that it is not cloudy via biconditional elimination. Therefore, the answer is yes.