Translate the following inference to logic notation: It is not overcast. For all x, x_7 is curious if and only if x_7 will take a plane. If Sarah takes a plane, then it is overcast. Therefore Sarah is not curious.
~p. forall x: P(x) <-> Q(x). Q(a) -> p. Therefore ~P(a).