Translate the following inference to logic notation: If it snows, then it is windy. It is snowing if and only if Jessica is playing a game. If it is windy, then Joseph is poor. If Joseph were poor, then Jessica is playing a game. Therefore it is windy if and only if it is snowing.
p -> q. p <-> r. q -> s. s -> r. Therefore q <-> p.