Translate the following inference to logic notation: It is late. Jennifer is not sleeping. Jennifer is sleeping if and only if it is late. Therefore William is a politician.
p. ~q. q <-> p. Therefore r.