Erin is nice. Erin is quiet. Erin is smart. Erin is white. Gary is cold. Gary is kind. Gary is quiet. All smart people are cold. If Erin is nice then Erin is kind. White, smart people are kind.
Gary is not smart.