Bob is nice. Bob is round. Bob is white. Charlie is white. Dave is big. Harry is green. Harry is smart. Big things are smart. Round things are smart. White, green things are round. Kind things are white. If something is smart then it is green. All green things are kind. If Dave is smart and Dave is green then Dave is kind.
Charlie is not green.