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