Anne is big. Anne is furry. Anne is smart. Anne is young. Dave is young. Erin is nice. Fiona is cold. All nice things are smart. Smart things are cold. If Erin is smart and Erin is green then Erin is furry. All big things are green. If Erin is cold then Erin is big. All big, green things are young. All cold things are furry. All cold, big things are green.
Erin is not green.