Translate the following inference to logic notation: It is windy and Michael is reading a book. It is overcast if and only if Elisabeth is an astronaut. It is not overcast. Therefore Elisabeth is not an astronaut and it is windy.
p and q. r <-> s. ~r. Therefore ~s and p.