Translate the following inference to logic notation: If it is late, then Karen is playing squash. It is overcast if and only if it is late. If Karen plays squash, then it is overcast. Therefore it is late if and only if it is overcast.
p -> q. r <-> p. q -> r. Therefore p <-> r.