Translate the following inference to logic notation: Jennifer is not a cashier. Susan is drinking water if and only if Jennifer is a cashier. If it is late, then Susan is drinking water. Therefore it is not late.
~p. q <-> p. r -> q. Therefore ~r.