Smullyan's Drinking Principle

Theorem
Suppose that there is at least one person in the pub.

Then there is a person $x$ in the pub such that if $x$ is drinking, then everyone in the pub is drinking.

Also see

 * Paradoxes of Material Implication