Translate the following inference to logic notation: It is sunny. It is windy and it is cold. If it is sunny, then Richard is running. Therefore it is windy and Richard is running.
p. q and r. p -> s. Therefore q and s.