Bob is kind. Charlie is blue. Charlie is nice. Charlie is rough. Dave is blue. Dave is kind. Dave is white. Gary is kind. Gary is nice. Gary is rough. Gary is white. Gary is young. Kind people are young. All rough, nice people are kind. If someone is white then they are nice. All nice, young people are rough. Young people are blue. If Gary is young then Gary is kind. If someone is nice then they are white. If someone is blue then they are white.
Charlie is not nice.