Translate the following inference to logic notation: If Susan were a lawyer, then Barbara is drinking water. Susan is not a lawyer. Susan is a lawyer or Barbara is not drinking water. Therefore Barbara is not drinking water.
p -> q. ~p. p or ~q. Therefore ~q.