Translate the following inference to logic notation: Sarah is curious if and only if it is snowing. Patricia is taking a plane if and only if it is snowing. Patricia is not taking a plane. Sarah is curious if and only if it is windy. Therefore it is not windy.
p <-> q. r <-> q. ~r. p <-> s. Therefore ~s.