Consider the following premises. It is cloudy. Linda is not taking a plane. Linda is taking a plane if and only if Jessica is playing a game. Jessica is playing a game or Michael is listening to a song. Can we infer the following from them? If we can, name the inference rule being used: Michael is not listening to a song.
 From the fact that Linda is taking a plane if and only if Jessica is playing a game, and that Linda is not taking a plane we can infer that Jessica is not playing a game via biconditional elimination. Finally, from the fact that Jessica is playing a game or Michael is listening to a song, and that Jessica is not playing a game we can infer that Michael is listening to a song via disjunctive syllogism, which contradicts that Michael is not listening to a song. Therefore, the answer is no.