Bob is green. Bob is smart. Charlie is big. Charlie is cold. Charlie is green. Charlie is nice. Charlie is smart. Charlie is young. Gary is big. Gary is smart. If someone is cold and young then they are nice. If someone is nice then they are young. If someone is green then they are kind.
Charlie is not nice.