Translate the following inference to logic notation: If Thomas plays a game, then it is sunny. If James were a nurse, then Thomas is running. Thomas is playing a game if and only if Thomas is running. Therefore if James were a nurse, then it is sunny.
p -> q. r -> s. p <-> s. Therefore r -> q.