Translate the following inference to logic notation: Richard is making tea if and only if Richard is drinking water. If it is late, then Richard is an office clerk. Richard is not making tea. It is late. Therefore Richard is an office clerk and Richard is not drinking water.
p <-> q. r -> s. ~p. r. Therefore s and ~q.