Translate the following inference to logic notation: It is cold. Patricia is a scientist or Charles is not listening to a song. Patricia is not a scientist. Therefore it is cold and Charles is not listening to a song.
p. q or ~r. ~q. Therefore p and ~r.