Translate the following inference to logic notation: John is not making tea or Karen is rich. Jessica is not an artist or William is sleeping. Jessica is an artist or John is making tea. Therefore William is sleeping or Karen is rich.
~p or q. ~r or s. r or p. Therefore s or q.