Charlie is cold. Charlie is not green. Charlie is quiet. Charlie is not young. Dave is quiet. Dave is not red. Dave is young. Erin is red. Erin is young. Harry is cold. Harry is quiet. Harry is young. Red people are cold. If someone is green and not young then they are furry. If someone is not red then they are smart. If someone is smart and red then they are not cold. If Erin is quiet then Erin is green. If someone is cold and not smart then they are furry.
Erin is smart.