Translate the following inference to logic notation: It is not sunny. It is sunny if and only if it is late. It is late or Susan is running. Therefore Susan is running.
~p. p <-> q. q or r. Therefore r.