Translate the following inference to logic notation: If it is cold, then Susan is not driving a car. Charles is curious if and only if it is cold. Jennifer is playing squash or Susan is driving a car. For all x, x_19 will not play squash. Therefore Charles is not curious.
p -> ~q. r <-> p. P(a) or q. forall x: ~P(x). Therefore ~r.