Translate the following inference to logic notation: Susan is a doctor. Robert is playing tennis. For all x, if x_14 plays tennis, then x_14 is taking a plane. Therefore Susan is a doctor and Robert is taking a plane.
p. P(a). forall x: P(x) -> Q(x). Therefore p and Q(a).