Translate the following inference to logic notation: Robert is playing a game. It is sunny or it is not cold. It is cold. Therefore Robert is playing a game and it is sunny.
p. q or ~r. r. Therefore p and q.