Translate the following inference to logic notation: Susan is a server. If Thomas were rich, then it is late. It is late if and only if Susan is a server. Therefore it is late.
p. q -> r. r <-> p. Therefore r.