Translate the following inference to logic notation: Karen is drinking water. If it is cold, then Charles is reading a book. If Charles reads a book, then Karen is not drinking water. Therefore it is not cold.
p. q -> r. r -> ~p. Therefore ~q.