Anne is not green. Bob is smart. All green people are furry. If Anne is young then Anne is not furry. All smart people are blue. If someone is young and not green then they are smart. If someone is young and not nice then they are red. If someone is young then they are not red. If someone is not blue then they are not young. If someone is nice and not smart then they are young.
Anne is young.