Anne is not cold. Anne is nice. Anne is red. Charlie is furry. Charlie is red. Dave is blue. Dave is not cold. Dave is nice. Harry is cold. Harry is nice. Harry is red. Harry is round. If something is round and blue then it is not green. Furry, red things are blue. If something is not nice then it is not cold. All round things are furry. If something is not red then it is blue. If Charlie is furry and Charlie is green then Charlie is blue. If something is green and nice then it is cold. If something is furry and not red then it is not round.
Charlie is not blue.