Translate the following inference to logic notation: Linda is playing a game or it is not snowing. Linda is playing a game if and only if Charles is a scientist. If Charles were a scientist, then it is snowing. Therefore if Linda plays a game, then Charles is a scientist.
p or ~q. p <-> r. r -> q. Therefore p -> r.