Translate the following inference to logic notation: Karen is fast or Jennifer is taking a plane. Karen is not fast. For all x, if z takes a plane, then z is making tea. Therefore Jennifer is making tea.
p or P(a). ~p. forall x: P(x) -> Q(x). Therefore Q(a).