Translate the following inference to logic notation: It is raining. Jessica is a sailor if and only if it is snowing. It is not windy. If Jessica were a sailor, then it is windy. Therefore it is not snowing and it is raining.
p. q <-> r. ~s. q -> s. Therefore ~r and p.