Bob is green. Charlie is cold. Charlie is smart. Gary is big. Gary is green. Gary is white. Gary is young. If Gary is big and Gary is blue then Gary is cold. Young people are blue.
Charlie is not white.