Anne is green. Anne is round. Erin is big. Erin is not green. Erin is red. Erin is rough. Erin is not round. Erin is smart. Erin is white. Fiona is big. Fiona is green. Fiona is rough. Fiona is round. Fiona is smart. Fiona is white. If Erin is smart and Erin is round then Erin is red. If Fiona is not red then Fiona is rough.
Anne is smart.