Translate the following inference to logic notation: Jennifer is an office clerk if and only if Susan is a server. Susan is a server. Jennifer is not an office clerk. Therefore it is cold.
p <-> q. q. ~p. Therefore r.