Anne is not big. Anne is furry. Anne is green. Anne is kind. Anne is nice. Erin is big. Erin is not furry. Erin is red. Erin is round. Gary is big. Gary is not furry. Gary is green. Gary is nice. Gary is red. Gary is round. If someone is kind then they are furry. If someone is furry then they are nice. All big people are red. If someone is red and not furry then they are green. If Erin is red and Erin is not furry then Erin is round. If someone is furry and not red then they are nice. If someone is kind and not green then they are big. If someone is not green then they are not red.
Erin is not nice.