Charlie is cold. Erin is cold. If something is smart and blue then it is kind. Cold things are blue. All blue things are smart. If Erin is smart and Erin is cold then Erin is furry. If something is smart and cold then it is furry. If something is cold then it is nice. All cold things are furry. All quiet things are furry.
Erin is not smart.