Translate the following inference to logic notation: If Karen were a bartender, then it is late. Karen is an artist if and only if Karen is a bartender. If it is late, then Karen is a bartender. Therefore if it is late, then Karen is an artist.
p -> q. r <-> p. q -> p. Therefore q -> r.