Anne is blue. Anne is cold. Anne is nice. Anne is quiet. Anne is rough. Anne is smart. Anne is young. All smart things are young.
Anne is not smart.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is nice.[(triple3)] Anne is quiet.[(triple4)] Anne is rough.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7 OR ((triple6) -> rule1))]