Anne is nice. Dave is green. Dave is kind. Dave is nice. Dave is white. Erin is kind. Erin is nice. All nice, smart people are white. White, cold people are kind. If someone is smart then they are cold. If someone is smart and quiet then they are nice. If someone is quiet then they are smart. All white people are quiet. All green, cold people are quiet. If Anne is smart then Anne is green.
Dave is not quiet.