Translate the following inference to logic notation: Robert is not an office clerk. If James were a poet, then Barbara is drinking water. Barbara is drinking water if and only if Robert is an office clerk. Therefore James is not a poet.
~p. q -> r. r <-> p. Therefore ~q.