Anne is blue. Bob is furry. Bob is green. Bob is white. Charlie is not furry. Erin is not blue. Erin is furry. Green things are blue. All blue, white things are red. Round, red things are green. Round things are not white. White things are not young. If Bob is young then Bob is round.
Anne is not green.