Translate the following inference to logic notation: Joseph is bored. Robert is fast. If Charles were poor, then Barbara is climbing a mountain. If Barbara climbs a mountain, then Joseph is not bored. Therefore Charles is not poor and Robert is fast.
p. q. r -> s. s -> ~p. Therefore ~r and q.