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 nice.
@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))]