Translate the following inference to logic notation: It is snowing if and only if William is reading a book. Jessica is not working. If William drinks water, then Jessica is working. For all x, x_12 will read a book if and only if x_12 will drink water. Therefore it is not snowing.
p <-> P(a). ~q. Q(a) -> q. forall x: P(x) <-> Q(x). Therefore ~p.