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