Charlie is blue. Dave is kind. Fiona is cold. If someone is green then they are furry. Blue people are kind. If Fiona is cold then Fiona is blue. If someone is furry and blue then they are cold. All rough, blue people are cold. If Fiona is cold and Fiona is blue then Fiona is rough. All rough people are smart. If Charlie is blue and Charlie is green then Charlie is furry.
Charlie is not smart.