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