Translate the following inference to logic notation: It is cold. For all x, if x_14 were a server, then x_14 is drinking water. John is not drinking water. Therefore John is not a server and it is cold.
p. forall x: P(x) -> Q(x). ~Q(a). Therefore ~P(a) and p.