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