Set-syllogistics meet combinatorics