Anne is cold. Anne is kind. Anne is red. Anne is rough. Anne is smart. Anne is white. Anne is young. Kind things are young. Rough, kind things are smart.
Anne is not smart.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is smart.[(triple5 OR ((triple4 triple2) -> rule2))] Anne is white.[(triple6)] Anne is young.[(triple7 OR ((triple2) -> rule1))]