Anne is cold. Anne is kind. Anne is rough. Anne is round. Anne is smart. Anne is young. Charlie is young. Dave is cold. Dave is nice. Dave is rough. Dave is round. Dave is smart. If someone is rough then they are cold. All young people are smart.
Charlie is not smart.