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