Translate the following inference to logic notation: If it is late, then Joseph is playing a game. It is not snowing. It is sunny or Joseph is not playing a game. It is snowing or it is late. Therefore it is sunny.
p -> q. ~r. s or ~q. r or p. Therefore s.