Translate the following inference to logic notation: For all x, if z drinks water, then z is reading a book. If it is cold, then David is drinking water. For all x, z will not read a book. Therefore it is not cold.
forall x: P(x) -> Q(x). p -> P(a). forall x: ~Q(x). Therefore ~p.