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