Translate the following inference to logic notation: William is happy or John is a bartender. If William were happy, then David is driving a car. If John were a bartender, then Mary is listening to a song. If Mary listens to a song, then David is driving a car. Therefore David is driving a car.
p or q. p -> r. q -> s. s -> r. Therefore r.