Translate the following inference to logic notation: Jessica is not a doctor. If Susan takes a plane, then Jessica is rich. For all x, x_14 is a doctor if and only if x_14 is rich. For all x, x_7 will take a plane if and only if x_7 is a soldier. Therefore Susan is not a soldier.
~P(a). Q(b) -> R(a). forall x: P(x) <-> R(x). forall x: Q(x) <-> S(x). Therefore ~S(b).