Consider the following premises. Mary is listening to a song if and only if it is windy. Mary is not a musician. Sarah is climbing a mountain if and only if Mary is listening to a song. It is windy if and only if Mary is a musician. Can we infer the following from them? If we can, name the inference rule being used: Sarah is climbing a mountain.
 From the fact that it is windy if and only if Mary is a musician, and that Mary is not a musician we can infer that it is not windy via biconditional elimination. From the fact that Mary is listening to a song if and only if it is windy, and that it is not windy we can infer that Mary is not listening to a song via biconditional elimination. Finally, from the fact that Sarah is climbing a mountain if and only if Mary is listening to a song, and that Mary is not listening to a song we can infer that Sarah is not climbing a mountain via biconditional elimination, which contradicts that Sarah is climbing a mountain. Therefore, the answer is no.