Translate the following inference to logic notation: If David plays tennis, then John is playing a game. It is cloudy or John is playing a game. If John plays a game, then David is playing tennis. If it is cloudy, then David is playing tennis. Therefore David is playing tennis.
p -> q. r or q. q -> p. r -> p. Therefore p.