Translate the following inference to logic notation: Thomas is playing a game if and only if it is snowing. It is raining. It is snowing if and only if Barbara is playing tennis. If Thomas plays a game, then it is not raining. Therefore Barbara is not playing tennis.
p <-> q. r. q <-> s. p -> ~r. Therefore ~s.