Bob is rough. Dave is big. Dave is quiet. Dave is young. Gary is rough. Gary is white. Harry is blue. White, quiet things are big. If something is blue and big then it is white. If something is white then it is young. If something is young then it is rough. All white things are young. All blue things are big. White, rough things are quiet.
Dave is not blue.