Translate the following inference to logic notation: Karen is not an astronaut. If Karen were an astronaut, then it is cold. If it is cold, then Karen is an astronaut. It is cold or it is not windy. Therefore it is not windy.
~p. p -> q. q -> p. q or ~r. Therefore ~r.