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