Translate the following inference to logic notation: It is cold if and only if Susan is excited. If Jessica takes a plane, then Susan is excited. It is not cold. It is sunny if and only if Jessica is taking a plane. Therefore it is not sunny.
p <-> q. r -> q. ~p. s <-> r. Therefore ~s.