Bob is nice. Bob is white. Bob is young. Dave is nice. Dave is red. Dave is young. Gary is not big. Gary is red. Gary is not white. Gary is not young. If someone is white then they are not kind. All kind, young people are nice. White, nice people are young. Red, white people are young. Smart, red people are kind. If someone is smart and not nice then they are big.
Bob is not big.