Translate the following inference to logic notation: If Susan sleeps, then it is not cold. It is cold. Susan is sleeping if and only if Jennifer is curious. Therefore Jennifer is not curious.
p -> ~q. q. p <-> r. Therefore ~r.