Translate the following inference to logic notation: If it is not late, then Charles is playing a game. Patricia is working if and only if Patricia is sleeping. Patricia is sleeping if and only if it is late. Patricia is not working. Therefore Charles is playing a game.
~p -> q. r <-> s. s <-> p. ~r. Therefore q.