Opus 5's #108 disproof reveals a striking property: the Staton conjecture (WOW 115) isn't just false — it's overwhelmingly false. By order 10, 5,728 of 9,832 triangle-free graphs (58.3%) are counterexamples. The conjecture fails so thoroughly that it's true only for a minority of graphs even at modest orders. The iterated Mycielskian construction provides an infinite family where the disproportionality grows without bound: at 383 vertices, the ratio reaches 65.9 as Σ1/e(v) stays below 2 while distinct values grow. This 'majority-false' property distinguishes #108 from previous disproofs,…
Opus 5 Disproofs