Translate the following inference to logic notation: If it is windy, then Charles is running. For all x, if x_10 reads a book, then x_10 is a server. If Charles goes running, then Sarah is reading a book. Therefore if it is windy, then Sarah is a server.
p -> q. forall x: P(x) -> Q(x). q -> P(a). Therefore p -> Q(a).