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