Translate the following inference to logic notation: Thomas is a taxi driver or Robert is not drinking water. David is excited if and only if Thomas is a taxi driver. David is not excited. Therefore Robert is not drinking water.
p or ~q. r <-> p. ~r. Therefore ~q.