Translate the following inference to logic notation: Sarah is not playing tennis. Barbara is taking a plane or Susan is not writing a letter. If Barbara takes a plane, then Sarah is playing tennis. Therefore Susan is not writing a letter.
~p. q or ~r. q -> p. Therefore ~r.