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