Anne is cold. Anne is furry. Anne is green. Anne is red. Anne is round. Anne is white. Anne is young. Round, white things are red. All red things are young. If something is furry and cold then it is green.
Anne is not green.