Anne is quiet. Anne is white. Bob is big. Bob is blue. Bob is quiet. Bob is red. Bob is rough. Bob is white. Bob is young. Gary is white. Harry is blue. Harry is red. Harry is rough. Harry is white. If someone is blue then they are rough. Red, blue people are white. All young, red people are blue. All big people are red. Big people are rough. All white people are blue. If someone is blue and young then they are rough. All rough, quiet people are young. All young, quiet people are big.
Gary is not blue.