Translate the following inference to logic notation: If it is windy, then Karen is a carpenter. It is windy or Karen is not a carpenter. Karen is not a carpenter. If James plays a game, then it is windy. Therefore James is not playing a game.
p -> q. p or ~q. ~q. r -> p. Therefore ~r.