Translate the following inference to logic notation: Sarah is an artist or Robert is not making tea. Sarah is writing a letter or Sarah is not an artist. Therefore if Robert makes tea, then Sarah is writing a letter.
p or ~q. r or ~p. Therefore q -> r.