Translate the following inference to logic notation: If Susan climbs a mountain, then Richard is not an electrician. If Susan doesn't climb a mountain, then Linda is playing a game. Richard is an electrician. If Thomas sleeps, then Linda is playing a game. Therefore Linda is playing a game.
p -> ~q. ~p -> r. q. s -> r. Therefore r.