Translate the following inference to logic notation: For all x, x_9 is poor if and only if x_9 is a sailor. If Robert were poor, then Robert is a sailor. Therefore if Robert were a sailor, then Robert is poor.
forall x: P(x) <-> Q(x). P(a) -> Q(a). Therefore Q(a) -> P(a).