lean.golf
hole01

drinker

easy

Smullyan's drinker paradox: in every pub there is someone such that, if they are drinking, everyone is drinking. The excluded middle is your friend here.

tactics allowed
10 bytes · 10 chars