Translate the following inference to logic notation: If Patricia doesn't go running, then Linda is fast. Karen is not a nurse. Karen is a nurse if and only if Mary is playing a game. If Patricia goes running, then Mary is playing a game. Therefore Linda is fast.
~p -> q. ~r. r <-> s. p -> s. Therefore q.