Bob is big. Bob is green. Bob is kind. Bob is smart. Bob is white. Bob is young. Charlie is big. Charlie is green. Gary is green. Gary is rough. Gary is smart. Gary is white. Smart, rough people are kind. Green, young people are big. All green people are young. If someone is young then they are smart. All young people are rough. If someone is kind then they are young.
Gary is smart.