Anne is furry. Anne is quiet. Anne is red. Charlie is big. Charlie is blue. Charlie is green. Charlie is not quiet. Charlie is not red. Charlie is white. Dave is big. Dave is quiet. Dave is red. Dave is white. Fiona is furry. Fiona is quiet. Fiona is red. If something is green then it is big. If Anne is big then Anne is blue. If something is blue then it is big. If something is furry and quiet then it is big. If something is white then it is green. If Fiona is white then Fiona is not blue. If something is not furry and not blue then it is big. If something is furry and not big then it is quiet.
Anne is not green.