Charlie is big. Charlie is blue. Charlie is furry. Charlie is rough. Charlie is smart. Dave is furry. Gary is big. Gary is furry. Gary is kind. Gary is red. Blue things are red. All smart, rough things are furry. All furry things are rough. Red, big things are rough. If Charlie is blue then Charlie is furry. All big things are kind.
Dave is not kind.