Translate the following inference to logic notation: It is windy or Jessica is drinking water. Jessica is drinking water if and only if it is cold. It is not windy. Therefore it is cold.
p or q. q <-> r. ~p. Therefore r.