Anne is green. Anne is quiet. Anne is red. Anne is white. Charlie is green. Charlie is quiet. Charlie is red. Charlie is smart. Charlie is white. Gary is nice. Gary is quiet. Gary is smart. Harry is cold. Harry is red. Harry is white. All nice things are red. Nice, white things are smart. All nice things are red. If something is white then it is quiet. Cold, smart things are nice. If something is cold then it is white.
Charlie is nice.