Translate the following inference to logic notation: If Sarah takes a plane, then it is cold. If it is cold, then Robert is an artist. For all x, if x_10 were an artist, then x_10 is fast. Therefore if Sarah takes a plane, then Robert is fast.
p -> q. q -> P(a). forall x: P(x) -> Q(x). Therefore p -> Q(a).