Translate the following inference to logic notation: It is late if and only if Karen is poor. It is late or it is raining. It is cloudy. If it rains, then Karen is poor. Therefore Karen is poor and it is cloudy.
p <-> q. p or r. s. r -> q. Therefore q and s.