Charlie is rough. Charlie is young. Dave is kind. Dave is not red. Dave is rough. Fiona is red. Fiona is young. Gary is cold. Gary is kind. Gary is rough. Gary is not smart. Gary is young. If something is not rough then it is smart. All smart things are kind.
Charlie is smart.