Translate the following inference to logic notation: Barbara is not fast. If Michael reads a book, then Barbara is fast. If Robert were a nurse, then Michael is reading a book. Joseph is writing a letter if and only if Robert is a nurse. Therefore Joseph is not writing a letter.
~p. q -> p. r -> q. s <-> r. Therefore ~s.