Bob is green. Bob is nice. Bob is red. Bob is rough. Dave is nice. Dave is red. Dave is rough. Dave is white. Harry is big. Harry is blue. Harry is green. Harry is nice. Harry is red. Harry is rough. Harry is white. All blue, red people are green. White, red people are blue. Big, blue people are green. All green, white people are big. White, red people are nice. All white, big people are red. All red, big people are white. If someone is red and big then they are green.
Dave is blue.