Anne is blue. Anne is cold. Anne is kind. Anne is nice. Anne is quiet. Anne is white. Anne is young. Harry is blue. Harry is cold. Harry is kind. Harry is nice. Harry is quiet. Harry is white. Harry is young. Young, quiet things are kind.
Harry is kind.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is kind.[(triple3 OR ((triple7 triple5) -> rule1))] Anne is nice.[(triple4)] Anne is quiet.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)] Harry is blue.[(triple8)] Harry is cold.[(triple9)] Harry is kind.[(triple10 OR ((triple14 triple12) -> rule1))] Harry is nice.[(triple11)] Harry is quiet.[(triple12)] Harry is white.[(triple13)] Harry is young.[(triple14)]