Anne is cold. Anne is round. Anne is white. Charlie is furry. Charlie is white. Gary is cold. Gary is nice. Gary is round. Gary is smart. Gary is white. Red, cold people are smart. All red, round people are cold.
Charlie is not smart.
@0: Anne is cold.[(triple1)] Anne is round.[(triple2)] Anne is white.[(triple3)] Charlie is furry.[(triple4)] Charlie is white.[(triple5)] Gary is cold.[(triple6)] Gary is nice.[(triple7)] Gary is round.[(triple8)] Gary is smart.[(triple9)] Gary is white.[(triple10)]