Charlie is big. Charlie is green. Charlie is kind. Charlie is nice. Charlie is red. Charlie is white. Dave is big. Dave is green. Dave is kind. Dave is white. If Dave is red and Dave is kind then Dave is white. Nice, kind people are rough. All green people are big. Red people are big. If Charlie is red and Charlie is rough then Charlie is nice. If someone is green then they are red.
Dave is not rough.