Translate the following inference to logic notation: Mary is not a server. Mary is a server if and only if James is reading a book. If Linda were an office clerk, then James is reading a book. Therefore Linda is not an office clerk.
~p. p <-> q. r -> q. Therefore ~r.