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