C-D18G-EXISTENCE-CUT
Bounded-height relation existence as the cut is refuted, every five-subset carries a short support-5 relation
In plain language
Detecting structure by whether a short relation exists fails, short relations are everywhere.
Exact statement
Bounded-height relation existence as the cut is refuted, every five-subset carries a short support-5 relation