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