Translate the following inference to logic notation: Thomas is not writing a letter or Robert is an artist. Richard is not a taxi driver or Joseph is an office clerk. Linda is not a poet or Richard is a taxi driver. Linda is a poet or Thomas is writing a letter. Therefore Robert is an artist or Joseph is an office clerk.
~p or q. ~r or s. ~t or r. t or p. Therefore q or s.