Anne is cold. Anne is kind. Anne is quiet. Anne is red. Bob is not red. Bob is not smart. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is smart. Dave is cold. Dave is nice. Dave is quiet. Dave is red. All young things are kind. If something is young then it is not cold. All red, smart things are nice. If something is not young then it is cold. If something is not smart and not cold then it is not red. If something is smart and not cold then it is not young.
Charlie is red.