Translate the following inference to logic notation: It is raining if and only if Susan is a carpenter. It is not raining. If Thomas drinks water, then Susan is a carpenter. Therefore Thomas is not drinking water.
p <-> q. ~p. r -> q. Therefore ~r.