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