Anne is red. Anne is white. Bob is not nice. If someone is nice then they are young. If someone is not red then they are white. If someone is young and round then they are not furry. Young people are nice. If Bob is nice and Bob is round then Bob is blue. If someone is blue and not round then they are furry. If Bob is red and Bob is nice then Bob is young. If someone is red and not furry then they are nice.
Anne is not red.