Translate the following inference to logic notation: Mary is not poor. If Jessica were a nurse, then Mary is poor. Susan is working if and only if Jessica is drinking water. If Susan works, then Jessica is a nurse. Therefore Jessica is not drinking water.
~p. q -> p. r <-> s. r -> q. Therefore ~s.