Translate the following inference to logic notation: If Robert reads a book, then Thomas is a server. For all x, if x_12 were a doctor, then x_12 is reading a book. Robert is not reading a book. If Thomas were a server, then Robert is a doctor. Therefore Thomas is not a server.
P(a) -> p. forall x: Q(x) -> P(x). ~P(a). p -> Q(a). Therefore ~p.