Consider the following premises. If John listens to a song, then it is snowing. It is snowing if and only if Mary is a mechanic. Mary is not a mechanic. Can we infer the following from them? John is not listening to a song or Richard is taking a plane.
 From the fact that it is snowing if and only if Mary is a mechanic we can infer that if it snows, then Mary is a mechanic. From the fact that if it snows, then Mary is a mechanic, and that Mary is not a mechanic we can infer that it is not snowing. From the fact that if John listens to a song, then it is snowing, and that it is not snowing we can infer that John is not listening to a song. Finally, from the fact that John is not listening to a song we can infer that John is not listening to a song or Richard is taking a plane. Therefore, the answer is yes.