Translate the following inference to logic notation: If it is windy, then Robert is a writer. For all x, if x_6 were a writer, then x_6 is excited. For all x, if x_6 were excited, then x_6 is fast. Therefore if it is windy, then Robert is fast.
p -> P(a). forall x: P(x) -> Q(x). forall x: Q(x) -> R(x). Therefore p -> R(a).