Translate the following inference to logic notation: If Barbara were a writer, then Robert is playing squash. Barbara is a writer or Jennifer is a server. If Jennifer were a server, then Robert is driving a car. For all x, if x_10 drives a car, then x_10 is playing squash. Therefore Robert is playing squash.
p -> P(a). p or q. q -> Q(a). forall x: Q(x) -> P(x). Therefore P(a).