Translate the following inference to logic notation: If Karen drinks water, then it is cold. Karen is drinking water if and only if it is late. If it is cold, then it is late. Therefore it is cold if and only if it is late.
p -> q. p <-> r. q -> r. Therefore q <-> r.