Translate the following inference to logic notation: It is cold if and only if Sarah is taking a plane. Sarah is not taking a plane. If Richard were sad, then it is cold. Elisabeth is sleeping if and only if Richard is sad. Therefore Elisabeth is not sleeping.
p <-> q. ~q. r -> p. s <-> r. Therefore ~s.