Translate the following inference to logic notation: Jessica is a scientist if and only if it is late. If Jessica plays tennis, then it is late. Jessica is not a scientist. Jessica is playing tennis if and only if Mary is excited. Therefore Mary is not excited.
p <-> q. r -> q. ~p. r <-> s. Therefore ~s.