Translate the following inference to logic notation: It is raining. It is late if and only if it is cold. Jessica is not climbing a mountain. Jessica is climbing a mountain if and only if it is late. Therefore it is not cold and it is raining.
p. q <-> r. ~s. s <-> q. Therefore ~r and p.