Translate the following inference to logic notation: Robert is playing a game if and only if Joseph is an astronaut. Joseph is an astronaut or it is not cloudy. Patricia is not a bartender. Patricia is a bartender if and only if Robert is playing a game. Therefore it is not cloudy.
p <-> q. q or ~r. ~s. s <-> p. Therefore ~r.