Consider the following premises. It is windy if and only if Jessica is a bartender. It is not windy. If Jessica were a bartender, then Elisabeth is listening to a song. If Elisabeth listens to a song, then Jessica is a bartender. Can we infer the following from them? If we can, name the inference rule being used: Elisabeth is listening to a song.
 From the fact that it is windy if and only if Jessica is a bartender, and that it is not windy we can infer that Jessica is not a bartender via biconditional elimination. From the fact that if Jessica were a bartender, then Elisabeth is listening to a song, and that if Elisabeth listens to a song, then Jessica is a bartender we can infer that Jessica is a bartender if and only if Elisabeth is listening to a song via biconditional introduction. Finally, from the fact that Jessica is a bartender if and only if Elisabeth is listening to a song, and that Jessica is not a bartender we can infer that Elisabeth is not listening to a song via biconditional elimination, which contradicts that Elisabeth is listening to a song. Therefore, the answer is no.