Anne is blue. Anne is nice. Dave is blue. Dave is furry. Fiona is furry. Fiona is green. Gary is white. Blue people are green. All big people are blue. Furry, big people are white. If Dave is big then Dave is not furry. If someone is white then they are cold. Cold people are nice. All nice people are big. If someone is nice and not green then they are white.
Fiona is blue.