Translate the following inference to logic notation: If it is cold, then it is snowing. It is sunny. It is not snowing. If Elisabeth drives a car, then it is not sunny. Therefore it is not cold.
p -> q. r. ~q. s -> ~r. Therefore ~p.