Translate the following inference to logic notation: If James were poor, then it is snowing. Elisabeth is not writing a letter. If it snows, then Elisabeth is a soldier. If Elisabeth writes a letter, then James is poor. For all x, if x_17 were a soldier, then x_17 is writing a letter. Therefore Elisabeth is not a soldier.
p -> q. ~P(a). q -> Q(a). P(a) -> p. forall x: Q(x) -> P(x). Therefore ~Q(a).