Translate the following inference to logic notation: David is a mechanic if and only if Thomas is fast. David is a mechanic if and only if Barbara is a soldier. Barbara is not a soldier. Therefore Thomas is not fast.
p <-> q. p <-> r. ~r. Therefore ~q.