Translate the following inference to logic notation: Barbara is not a musician or Richard is playing a game. Richard is not taking a plane. It is overcast or Michael is climbing a mountain. It is overcast if and only if Richard is taking a plane. Therefore Michael is climbing a mountain or Richard is playing a game.
~p or q. ~r. s or t. s <-> r. Therefore t or q.