Translate the following inference to logic notation: It is not sunny. It is sunny if and only if Thomas is running. If Thomas goes running, then it is sunny. Therefore Thomas is not running.
~p. p <-> q. q -> p. Therefore ~q.