Translate the following inference to logic notation: Joseph is reading a book if and only if James is drinking water. It is raining. If Joseph reads a book, then it is not raining. Therefore James is not drinking water.
p <-> q. r. p -> ~r. Therefore ~q.