Anne is nice. Anne is smart. Anne is white. Bob is nice. Bob is white. Charlie is blue. Charlie is green. Charlie is nice. Charlie is white. Charlie is young. Gary is blue. Gary is cold. Gary is green. Gary is nice. Gary is smart. Gary is young. All cold people are young. All smart, nice people are cold.
Charlie is cold.