Anne is big. Anne is nice. Bob is green. Bob is rough. Charlie is green. Charlie is smart. Charlie is young. Dave is big. Dave is green. Dave is rough. All nice people are kind. If someone is kind and nice then they are smart. All smart people are green.
Anne is not nice.