Translate the following inference to logic notation: Barbara is a scientist if and only if Thomas is poor. Elisabeth is excited if and only if Barbara is a scientist. Thomas is not poor. Therefore Elisabeth is not excited.
p <-> q. r <-> p. ~q. Therefore ~r.