Anne is green. Erin is cold. Erin is furry. Erin is green. Erin is red. Erin is smart. Erin is young. Fiona is furry. Fiona is red. Harry is cold. Harry is furry. Harry is green. If someone is green and furry then they are young. If someone is green then they are red. All cold people are red. If someone is furry and young then they are smart. If someone is smart and red then they are furry. All young, smart people are furry. Smart people are young. If Anne is red then Anne is furry. All smart people are cold.
Anne is not smart.