Anne is cold. Anne is furry. Anne is rough. Charlie is not blue. Charlie is cold. Charlie is not furry. Charlie is red. Charlie is not round. Charlie is white. Dave is blue. Dave is red. Dave is round. Dave is white. Harry is blue. Harry is white. If Anne is round and Anne is rough then Anne is blue. Round things are red. If something is furry and cold then it is not white. If something is furry and not rough then it is round. Blue things are furry. If something is furry and cold then it is blue. If Charlie is white then Charlie is cold. If Charlie is not furry then Charlie is not blue.
Charlie is not cold.