Anne is smart. Bob is white. Fiona is smart. Gary is not white. If someone is white and not nice then they are not green. If someone is cold then they are blue. If Anne is smart then Anne is furry. All furry people are smart. All furry people are cold. If someone is nice and not blue then they are not green. If someone is cold and not blue then they are white. If someone is cold and not furry then they are not blue.
Anne is blue.