Charlie is big. Charlie is blue. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is white. Dave is big. Dave is blue. Dave is furry. Dave is kind. Dave is nice. Dave is rough. Dave is white. If Dave is kind and Dave is white then Dave is nice. If something is kind then it is rough. If Charlie is kind then Charlie is big. Rough things are white. If something is nice then it is furry. If Dave is kind then Dave is big. All rough, white things are furry. Blue, white things are nice.
Charlie is not rough.