Charlie is nice. Charlie is white. Dave is red. Dave is smart. Gary is round. Gary is white. Harry is green. Harry is quiet. Harry is red. Harry is round. Harry is white. Nice, green people are round. If Gary is green and Gary is white then Gary is quiet. If Charlie is white then Charlie is not quiet. If Dave is smart and Dave is white then Dave is nice. Smart people are green. All green people are smart. If someone is green then they are quiet. If someone is quiet then they are white. Nice, red people are smart.
Dave is not nice.