Translate the following inference to logic notation: William is a scientist or Michael is a server. William is not a scientist. Richard is driving a car. Therefore Richard is driving a car.
p or q. ~p. r. Therefore r.