If Sandra wanted to join us on the trip, she would have said so.
Since she didn’t say so, she clearly doesn’t want to join.
If Theron is taking the bus to get here, he’ll arrive within 3 hours.
So if he doesn’t arrive within 3 hours, that means he isn’t taking the bus.
Some people say that we should pick Randall for our basketball team next week, since he’s unusually tall. But because today’s style of basketball game requires speed and agility more than height, Randall is not a good selection.