In holographic duality, boundary states that have semiclassical bulk duals must obey inequalities, which bound their subsystems’ von Neumann entropies. Hitherto known inequalities constrain entropies of reduced states on up to N = 5 disjoint subsystems. Here we report one new such inequality, which involves N = 7 disjoint regions. Our work supports a recent conjecture on the structure of holographic inequalities, which predicted the existence and schematic form of the new inequality. We explain the logic and educated guesses by which we arrived at the inequality, and comment on the feasibility of employing similar tactics in a more exhaustive search.