Translate the following inference to logic notation: It is raining. David is not a poet or Richard is a janitor. If Richard works, then it is not raining. David is a poet or Richard is working. Therefore Richard is a janitor.
p. ~q or r. s -> ~p. q or s. Therefore r.