Translate the following inference to logic notation: Joseph is not a nurse. Joseph is a nurse. Charles is driving a car. Therefore Charles is driving a car and Richard is working.
~p. p. q. Therefore q and r.