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