Translate the following inference to logic notation: For all x, x_11 will go running. John is playing a game. If it is windy, then John is not playing a game. Therefore it is not windy.
forall x: P(x). p. q -> ~p. Therefore ~q.