Charlie is green. Charlie is nice. Charlie is not quiet. Charlie is red. Charlie is not round. Charlie is white. Charlie is young. Dave is not green. Dave is quiet. Dave is round. Dave is white. Dave is not young. If someone is nice and not green then they are round. If someone is white and not green then they are not nice. If Dave is young and Dave is quiet then Dave is not nice.
Dave is not nice.