Translate the following inference to logic notation: Karen is bored if and only if Karen is playing a game. If Karen plays a game, then Robert is not poor. Charles is a cashier. Robert is poor. Therefore Charles is a cashier and Karen is not bored.
p <-> q. q -> ~r. s. r. Therefore s and ~p.