Translate the following inference to logic notation: It is cold if and only if Mary is reading a book. It is not cold. Joseph is playing tennis if and only if it is cold. If Joseph plays tennis, then Mary is reading a book. Therefore Mary is not reading a book.
p <-> q. ~p. r <-> p. r -> q. Therefore ~q.