Charlie is big. Charlie is green. Charlie is quiet. Charlie is smart. Dave is quiet. Dave is rough. Dave is smart. Dave is white. Harry is big. Harry is green. Harry is red. Harry is rough. Red people are rough. If Charlie is big then Charlie is red. Red people are rough. All big, green people are smart. If Charlie is big then Charlie is quiet. Quiet, smart people are rough.
Dave is green.