Anne is big. Anne is cold. Anne is green. Anne is kind. Anne is not nice. Anne is not rough. Anne is smart. Charlie is not big. Charlie is green. Charlie is not kind. Charlie is nice. Charlie is rough. Charlie is smart. Harry is kind. Harry is nice. Kind people are smart.
Harry is smart.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3)] Anne is kind.[(triple4)] Anne is not nice.[(triple5)] Anne is not rough.[(triple6)] Anne is smart.[(triple7 OR ((triple4) -> rule1))] Charlie is green.[(triple9)] Charlie is nice.[(triple11)] Charlie is not big.[(triple8)] Charlie is not kind.[(triple10)] Charlie is rough.[(triple12)] Charlie is smart.[(triple13)] Harry is kind.[(triple14)] Harry is nice.[(triple15)] @1: Harry is smart.[(((triple14) -> rule1))]