Translate the following inference to logic notation: Sarah is making tea. Joseph is not playing a game or Richard is driving a car. Sarah is not making tea or Richard is sleeping. Therefore Richard is sleeping or Richard is driving a car.
p. ~q or r. ~p or s. Therefore s or r.