Anne is big. Anne is red. Erin is furry. Erin is nice. Erin is round. Fiona is not big. Fiona is blue. Fiona is nice. Fiona is red. Gary is big. Gary is not blue. Gary is furry. Gary is not red. Gary is not rough. Gary is round. All nice people are red. If someone is furry and red then they are not blue. If Erin is not round then Erin is rough. All rough, big people are nice. If Fiona is not nice and Fiona is not furry then Fiona is big. If someone is not big and not rough then they are red.
Anne is not nice.