Translate the following inference to logic notation: Barbara is not making tea or Mary is playing a game. Barbara is making tea. It is windy. If Joseph were a lawyer, then it is not windy. Therefore Mary is playing a game.
~p or q. p. r. s -> ~r. Therefore q.