Translate the following inference to logic notation: Joseph is sleeping or Thomas is reading a book. Sarah is writing a letter. Joseph is not sleeping. Therefore Sarah is writing a letter or Sarah is a politician.
p or q. r. ~p. Therefore r or s.