Anne is blue. Anne is red. Charlie is furry. Charlie is red. Charlie is white. Charlie is young. Dave is blue. Dave is cold. Dave is furry. Dave is green. Dave is red. Dave is white. Dave is young. Harry is green. Harry is red. If Harry is cold then Harry is red. Green people are blue.
Charlie is not blue.