english: You now know, by what’s called a proof by contradiction, that two of the boxes have  8 or more rubies.
non_english: Door bewijs uit het ongerijmde weet je nu dat ten minste twee kisten acht of meer robijnen bevatten.