Charlie is cold. Charlie is kind. Charlie is smart. Dave is cold. Dave is round. Harry is quiet. Harry is not smart. If Charlie is smart and Charlie is blue then Charlie is not round.
Charlie is not cold.