Hahaha no but a good answer. This one is actually pretty complex at its core, but basically, the proof begins by recognizing it is true that either everyone in the pub is drinking (in this particular round of drinks), or at least one person in the pub isn't drinking.
On the one hand, suppose...