Any member of the solar system must be either a planet or a moon, so if an asteroid is neither a planet nor a moon, it must not be a member of the solar system.

Anyone who rides a city bus must buy a bus pass, and since Demetrios has a bus pass, he must be riding on a city bus.

A driver who turns right must signal, so any driver who did not signal must not have turned right.

Anyone who legally crosses a national boundary must have a passport; thus anyone who does not have a passport cannot legally cross a national boundary.

Any wage earner residing in the state must pay state taxes, so since Blodwen pays state taxes, she must be resident in the state.