Anne is big. Anne is cold. Anne is kind. Anne is nice. Anne is red. Anne is rough. Anne is white. All red, kind people are white.
Anne is not white.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is red.[(triple5)] Anne is rough.[(triple6)] Anne is white.[(triple7 OR ((triple5 triple3) -> rule1))]