Translate the following inference to logic notation: If it is sunny, then Joseph is listening to a song. It is cold. It is sunny or it is not cold. Therefore Joseph is listening to a song.
p -> q. r. p or ~r. Therefore q.