Translate the following inference to logic notation: Richard is fast or Thomas is not an office clerk. If Linda were a scientist, then Richard is fast. Thomas is not an office clerk. Thomas is an office clerk if and only if Richard is fast. Therefore Linda is not a scientist.
p or ~q. r -> p. ~q. q <-> p. Therefore ~r.