Translate the following inference to logic notation: If it is cold, then it is windy. It is cold. It is not windy or it is late. Therefore Linda is a scientist or it is late.
p -> q. p. ~q or r. Therefore s or r.