Translate the following inference to logic notation: Robert is writing a letter. John is a poet if and only if Thomas is running. Thomas is not running. Therefore John is not a poet.
p. q <-> r. ~r. Therefore ~q.