Translate the following inference to logic notation: For all x, if x_8 were bored, then x_8 is a server. If Barbara were bored, then William is writing a letter. For all x, if x_8 were a server, then x_8 is bored. Therefore if Barbara were a server, then William is writing a letter.
forall x: P(x) -> Q(x). P(a) -> p. forall x: Q(x) -> P(x). Therefore Q(a) -> p.