Translate the following inference to logic notation: Richard is climbing a mountain if and only if David is bored. If Thomas were a doctor, then Richard is climbing a mountain. Thomas is not a doctor. If Richard climbs a mountain, then Thomas is a doctor. David is bored or Barbara is not rich. Therefore Barbara is not rich.
p <-> q. r -> p. ~r. p -> r. q or ~s. Therefore ~s.