Translate the following inference to logic notation: Elisabeth is not reading a book. Mary is an astronaut. Elisabeth is reading a book if and only if William is fast. Therefore William is not fast and Mary is an astronaut.
~p. q. p <-> r. Therefore ~r and q.