Translate the following inference to logic notation: It is late. If Elisabeth writes a letter, then it is not late. Sarah is sad or Elisabeth is writing a letter. Therefore Sarah is sad.
p. q -> ~p. r or q. Therefore r.