Translate the following inference to logic notation: Richard is rich or Robert is not a poet. Richard is rich if and only if it is overcast. If it is overcast, then Robert is a poet. Therefore if it is overcast, then Robert is a poet.
p or ~q. p <-> r. r -> q. Therefore r -> q.