Translate the following inference to logic notation: If it is windy, then Elisabeth is reading a book. If Elisabeth reads a book, then Mary is playing a game. If Mary plays a game, then it is windy. It is not windy. Therefore Mary is not playing a game.
p -> q. q -> r. r -> p. ~p. Therefore ~r.