Bob is smart. Bob is white. Dave is blue. Gary is big. Gary is white. Harry is big. Harry is blue. All blue, rough things are white. Rough, quiet things are big. Red, rough things are big. All big things are rough. All white things are rough. All smart, blue things are quiet. All red things are blue. All blue, red things are smart. All rough, white things are red.
Dave is not rough.