Translate the following inference to logic notation: For all x, x_19 will not write a letter. If it snows, then Jennifer is not drinking water. Jennifer is writing a letter or Jennifer is drinking water. It is raining if and only if it is snowing. Therefore it is not raining.
forall x: ~P(x). p -> ~q. P(a) or q. r <-> p. Therefore ~r.