Translate the following inference to logic notation: Richard is an astronaut if and only if Michael is writing a letter. Karen is cooking. Michael is writing a letter if and only if it is windy. It is not windy. Therefore Richard is not an astronaut.
p <-> q. r. q <-> s. ~s. Therefore ~p.