Anne is cold. Anne is nice. Anne is rough. Anne is smart. Bob is nice. Charlie is quiet. Dave is quiet. All rough, nice things are smart. If Charlie is kind then Charlie is quiet. Smart things are blue. All nice, blue things are kind. If Dave is nice then Dave is rough. Quiet things are nice. All nice, rough things are cold.
Charlie is not cold.