Translate the following inference to logic notation: David is not drinking water. David is drinking water or it is cold. If Thomas were a mechanic, then it is not cold. Therefore Thomas is not a mechanic.
~p. p or q. r -> ~q. Therefore ~r.