Anne is blue. Anne is green. Anne is quiet. Bob is blue. Bob is furry. Bob is green. Bob is quiet. Bob is round. Bob is smart. Bob is young. Quiet, blue things are furry. If something is young and furry then it is green. All green things are blue. Smart things are young. Furry, green things are round. If Anne is furry and Anne is young then Anne is green.
Anne is not young.