Translate the following inference to logic notation: Sarah is playing a game if and only if Linda is a bartender. If Linda were a sailor, then Sarah is playing a game. Linda is not a bartender. Therefore Linda is not a sailor.
p <-> q. r -> p. ~q. Therefore ~r.