Translate the following inference to logic notation: Jessica is reading a book if and only if James is a scientist. It is not cloudy. It is cloudy if and only if James is a scientist. Therefore Jessica is not reading a book.
p <-> q. ~r. r <-> q. Therefore ~p.