Anne is white. Charlie is nice. Charlie is white. Erin is big. Erin is cold. Erin is not quiet. Fiona is big. Fiona is blue. Fiona is cold. Fiona is nice. Fiona is quiet. Fiona is white. White, quiet things are red. All big, white things are nice. If Anne is nice then Anne is quiet. If Charlie is quiet and Charlie is white then Charlie is not red. If something is not cold then it is big. All red, nice things are blue. If Erin is not blue then Erin is big.
Anne is not red.