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