Bob is big. Bob is blue. Bob is cold. Bob is green. Bob is not kind. Bob is quiet. Bob is white. Gary is big. Gary is blue. Gary is cold. Gary is not green. Gary is kind. Gary is quiet. Gary is white. If someone is not blue then they are kind. All cold people are white. All green people are white. If someone is big and not blue then they are quiet. If Gary is white and Gary is cold then Gary is big. If someone is green and not cold then they are quiet. If someone is big and not blue then they are white. If someone is not blue then they are not white.
Bob is not green.