Translate the following inference to logic notation: If Joseph plays a game, then Patricia is a scientist. If Patricia were a scientist, then Joseph is playing a game. Patricia is a scientist if and only if it is cloudy. Therefore if it is cloudy, then Joseph is playing a game.
p -> q. q -> p. q <-> r. Therefore r -> p.