Translate the following inference to logic notation: Patricia is not drinking water. Patricia is not a soldier if and only if it is cloudy. Patricia is drinking water if and only if Patricia is a soldier. Therefore it is cloudy.
~p. ~q <-> r. p <-> q. Therefore r.