Translate the following inference to logic notation: It is snowing if and only if Jessica is a police officer. Mary is sleeping or it is not cold. Mary is not sleeping. If it is not cold, then it is snowing. Therefore Jessica is a police officer.
p <-> q. r or ~s. ~r. ~s -> p. Therefore q.