Anne is nice. Anne is rough. Erin is green. Erin is nice. Erin is red. Fiona is red. Fiona is round. If Erin is green then Erin is round. If Fiona is quiet and Fiona is rough then Fiona is not green. If Erin is round then Erin is furry. All rough people are not furry. If Fiona is round and Fiona is red then Fiona is green. If someone is not nice then they are green.
Anne is not red.