Translate the following inference to logic notation: Barbara is not rich. Jennifer is not a carpenter or it is overcast. Patricia is drinking water if and only if Barbara is rich. Jennifer is a carpenter or Patricia is drinking water. Therefore it is overcast.
~p. ~q or r. s <-> p. q or s. Therefore r.