Translate the following inference to logic notation: James is bored if and only if Richard is rich. James is not bored. Richard is rich or James is not bored. Therefore Richard is not rich.
p <-> q. ~p. q or ~p. Therefore ~q.