Translate the following inference to logic notation: If William were a taxi driver, then Elisabeth is running. William is a taxi driver. David is playing a game or Elisabeth is not running. Therefore David is playing a game.
p -> q. p. r or ~q. Therefore r.