Anne is not big. Anne is green. Anne is round. Anne is white. Dave is not red. Erin is big. Erin is white. Erin is young. Fiona is big. Fiona is cold. Fiona is not red. Fiona is white. If Erin is green then Erin is red.
Erin is not red.