Translate the following inference to logic notation: For all x, x will not play tennis. If John were a doctor, then it is cold. Joseph is playing tennis or John is a doctor. Therefore it is cold.
forall x: ~P(x). p -> q. P(a) or p. Therefore q.