Anne is big. Anne is nice. Anne is quiet. Anne is red. Anne is white. Dave is white. Fiona is big. Fiona is cold. Fiona is quiet. Fiona is white. If something is big then it is green. All white things are red. If something is cold then it is big. If something is red and white then it is cold. Cold things are white. If Dave is nice and Dave is quiet then Dave is big. If Dave is quiet and Dave is cold then Dave is white. All green things are red.
Fiona is green.