If the 8 card is not red, it violates the rule.
8のカードの裏面が赤ではないならば、仮説と矛盾する。