Translate the following inference to logic notation: Susan is not drinking water. Susan is sad if and only if Linda is working. If Barbara makes tea, then Linda is working. If Susan were sad, then Barbara is making tea. If Susan were sad, then Susan is drinking water. Therefore Linda is not working.
~p. q <-> r. s -> r. q -> s. q -> p. Therefore ~r.