Translate the following inference to logic notation: Joseph is playing a game or it is cloudy. Susan is not a taxi driver. John is bored if and only if Susan is a taxi driver. John is bored if and only if Joseph is playing a game. Therefore it is cloudy.
p or q. ~r. s <-> r. s <-> p. Therefore q.