Translate the following inference to logic notation: If David goes running, then Jennifer is writing a letter. If Jennifer writes a letter, then David is running. Jennifer is writing a letter. David is not running. Therefore it is late.
p -> q. q -> p. q. ~p. Therefore r.