Anne is cold. Anne is kind. Anne is not nice. Anne is rough. Anne is smart. Anne is white. Charlie is kind. Charlie is nice. Charlie is quiet. Gary is cold. Gary is quiet. Gary is smart. If someone is nice and kind then they are smart.
Charlie is nice.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is not nice.[(triple3)] Anne is rough.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6)] Charlie is kind.[(triple7)] Charlie is nice.[(triple8)] Charlie is quiet.[(triple9)] Gary is cold.[(triple10)] Gary is quiet.[(triple11)] Gary is smart.[(triple12)] @1: Charlie is smart.[(((triple8 triple7) -> rule1))]