Translate the following inference to logic notation: William is a sailor. Charles is not poor if and only if it is overcast. If Charles were poor, then William is not a sailor. Therefore it is overcast.
p. ~q <-> r. q -> ~p. Therefore r.