Anne is cold. Anne is furry. Anne is green. Anne is young. Charlie is green. Charlie is young. Dave is green. Dave is white. Dave is young. Gary is furry. Gary is white. Gary is young. If something is young then it is cold. If something is white and green then it is nice. If Anne is cold then Anne is white.
Dave is not white.