Bob is cold. Bob is nice. Charlie is not kind. Erin is not kind. Erin is smart. Fiona is cold. Fiona is kind. If Charlie is not furry then Charlie is not nice. If someone is not smart then they are not big. If someone is not nice then they are not furry. If someone is not kind then they are cold. If someone is furry and not cold then they are red. If Charlie is not cold then Charlie is red.
Erin is smart.