Translate the following inference to logic notation: It is cold or it is not snowing. It is raining. If Linda were an astronaut, then it is cold. It is snowing or Linda is an astronaut. Therefore it is raining and it is cold.
p or ~q. r. s -> p. q or s. Therefore r and p.