Translate the following inference to logic notation: Joseph is writing a letter if and only if David is making tea. David is making tea or Robert is not a scientist. Therefore if Robert were a scientist, then Joseph is writing a letter.
p <-> q. q or ~r. Therefore r -> p.