Charlie is cold. Charlie is green. Charlie is nice. Charlie is red. Charlie is smart. Charlie is white. Charlie is young. All white, green people are nice. If someone is not white then they are not cold. If Charlie is nice and Charlie is not red then Charlie is smart.
Charlie is smart.