Anne is cold. Anne is kind. Anne is nice. Anne is rough. Anne is round. Anne is smart. Anne is white. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is round. Charlie is smart. Charlie is white. Smart, nice people are round.
Charlie is not kind.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5 OR ((triple6 triple3) -> rule1))] Anne is smart.[(triple6)] Anne is white.[(triple7)] Charlie is cold.[(triple8)] Charlie is kind.[(triple9)] Charlie is nice.[(triple10)] Charlie is rough.[(triple11)] Charlie is round.[(triple12 OR ((triple13 triple10) -> rule1))] Charlie is smart.[(triple13)] Charlie is white.[(triple14)]