Translate the following inference to logic notation: If Linda were an astronaut, then it is windy. Linda is an astronaut. It is not cold. It is cold if and only if it is cloudy. Therefore it is windy and it is not cloudy.
p -> q. p. ~r. r <-> s. Therefore q and ~s.