Translate the following inference to logic notation: If Elisabeth were a politician, then David is rich. If David were rich, then Elisabeth is a politician. For all x, x_7 is not rich. Therefore Elisabeth is not a politician.
p -> P(a). P(a) -> p. forall x: ~P(x). Therefore ~p.