Translate the following inference to logic notation: Karen is an artist if and only if Richard is poor. Karen is an artist or Richard is not poor. Therefore if Richard were poor, then Karen is an artist.
p <-> q. p or ~q. Therefore q -> p.