Translate the following inference to logic notation: For all x, if x_6 were a bartender, then x_6 is making tea. For all x, if x_6 makes tea, then x_6 is fast. Jessica is a bartender or it is late. If it is late, then Jessica is fast. Therefore Jessica is fast.
forall x: P(x) -> Q(x). forall x: Q(x) -> R(x). P(a) or p. p -> R(a). Therefore R(a).