Charlie is big. Charlie is smart. Dave is rough. Harry is cold. Harry is red. Harry is not rough. Harry is smart. All rough, kind people are not red. If someone is not smart then they are kind.
Charlie is not smart.