Translate the following inference to logic notation: Richard is playing a game if and only if John is poor. Richard is playing a game or James is not a mechanic. If John were poor, then James is a mechanic. Therefore if John were poor, then James is a mechanic.
p <-> q. p or ~r. q -> r. Therefore q -> r.