Bob is cold. Bob is quiet. Bob is red. Bob is rough. Bob is smart. Gary is not cold. Gary is not green. Gary is not quiet. Gary is red. Gary is rough. Gary is not smart. Gary is young. All smart, young people are not quiet. If Bob is young and Bob is not quiet then Bob is red. If Bob is not cold then Bob is not smart. All smart, young people are not quiet. If someone is not smart and not young then they are green. If Bob is quiet and Bob is not cold then Bob is green.
Gary is smart.