Translate the following inference to logic notation: For all x, if x_28 takes a plane, then x_28 is writing a letter. It is cloudy if and only if it is overcast. It is not cloudy. Jessica is taking a plane. If it snows, then it is overcast. Therefore Jessica is writing a letter and it is not snowing.
forall x: P(x) -> Q(x). p <-> q. ~p. P(a). r -> q. Therefore Q(a) and ~r.