Translate the following inference to logic notation: Patricia is reading a book. It is windy if and only if Mary is writing a letter. If it is windy, then Patricia is not reading a book. If Jessica were a server, then Mary is writing a letter. Therefore Jessica is not a server.
p. q <-> r. q -> ~p. s -> r. Therefore ~s.