Translate the following inference to logic notation: Jennifer is not a writer. It is late if and only if Jennifer is a writer. If it is windy, then Joseph is playing squash. If Joseph plays squash, then it is windy. If it is windy, then it is late. Therefore Joseph is not playing squash.
~p. q <-> p. r -> s. s -> r. r -> q. Therefore ~s.