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