Translate the following inference to logic notation: John is not an artist. If Mary goes running, then it is windy. John is an artist if and only if it is windy. Therefore Mary is not running.
~p. q -> r. p <-> r. Therefore ~q.