Anne is cold. Anne is kind. Anne is red. Anne is rough. Anne is not smart. Anne is young. Charlie is round. Charlie is not young. Dave is cold. Dave is red. Dave is round. Dave is young. If Charlie is cold and Charlie is young then Charlie is kind. If someone is young then they are round. Rough, round people are kind. If Dave is smart and Dave is not rough then Dave is red. If someone is rough and red then they are not smart. If someone is not smart then they are kind.
Charlie is not smart.