Translate the following inference to logic notation: If it is sunny, then Jessica is a nurse. If Jessica were a nurse, then it is windy. If it is windy, then it is snowing. If it is windy, then it is sunny. It is not snowing. Therefore it is not sunny.
p -> q. q -> r. r -> s. r -> p. ~s. Therefore ~p.