Translate the following inference to logic notation: It is raining if and only if Jessica is excited. It is raining if and only if Mary is climbing a mountain. Susan is not a sailor. Mary is climbing a mountain if and only if Susan is a sailor. Therefore Jessica is not excited.
p <-> q. p <-> r. ~s. r <-> s. Therefore ~q.