Anne is cold. Anne is furry. Anne is nice. Anne is smart. Anne is young. Gary is cold. Gary is furry. Gary is nice. Gary is quiet. Gary is young. Harry is cold. Harry is furry. Harry is nice. Harry is quiet. Harry is smart. Nice people are smart.
Anne is not blue.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is nice.[(triple3)] Anne is smart.[(triple4 OR ((triple3) -> rule1))] Anne is young.[(triple5)] Gary is cold.[(triple6)] Gary is furry.[(triple7)] Gary is nice.[(triple8)] Gary is quiet.[(triple9)] Gary is young.[(triple10)] Harry is cold.[(triple11)] Harry is furry.[(triple12)] Harry is nice.[(triple13)] Harry is quiet.[(triple14)] Harry is smart.[(triple15 OR ((triple13) -> rule1))] @1: Gary is smart.[(((triple8) -> rule1))]