Translate the following inference to logic notation: Susan is fast if and only if Jennifer is drinking water. It is not late. It is late if and only if Susan is fast. Therefore Jennifer is not drinking water or it is cloudy.
p <-> q. ~r. r <-> p. Therefore ~q or s.