Translate the following inference to logic notation: For all x, if x_5 were a police officer, then x_5 is playing tennis. For all x, x_5 is a police officer or x_5 will not play tennis. Therefore if Robert plays tennis, then Robert is a police officer.
forall x: P(x) -> Q(x). forall x: P(x) or ~Q(x). Therefore Q(a) -> P(a).