Translate the following inference to logic notation: David is playing squash or William is reading a book. Barbara is playing tennis or William is not reading a book. If David plays squash, then Barbara is playing tennis. Therefore Barbara is playing tennis.
p or q. r or ~q. p -> r. Therefore r.