Translate the following inference to logic notation: It is snowing if and only if Mary is a nurse. Mary is a nurse if and only if Jennifer is a bartender. If it doesn't snow, then it is cold. Jennifer is not a bartender. Therefore it is cold.
p <-> q. q <-> r. ~p -> s. ~r. Therefore s.