Translate the following inference to logic notation: For all x, z is a server. If Thomas were a mechanic, then it is raining. Thomas is a mechanic. Therefore it is raining.
forall x: P(x). p -> q. p. Therefore q.