Anne is furry. Anne is not red. Anne is rough. Anne is white. Dave is furry. Dave is nice. Dave is young. Fiona is furry. Gary is green. Gary is nice. Gary is white. Gary is young. If something is nice then it is rough. Green, furry things are not red. If something is not young then it is white. If something is not nice and not furry then it is not green. All furry, green things are red. If something is red and not green then it is not young.
Anne is not white.