Charlie is blue. Charlie is nice. Charlie is red. Charlie is round. Charlie is white. Dave is kind. Dave is nice. Dave is quiet. Dave is red. Dave is round. Dave is white. Gary is kind. Gary is nice. Gary is quiet. Gary is red. Gary is round. All red, nice people are white. All blue, kind people are round. All blue, nice people are quiet. Blue people are quiet. If Gary is nice and Gary is kind then Gary is blue. If someone is nice and white then they are red. Nice, red people are quiet. If Gary is white and Gary is quiet then Gary is nice.
Dave is not white.