Anne is cold. Anne is furry. Charlie is quiet. Dave is furry. Dave is red. Dave is young. Gary is cold. Gary is furry. Gary is nice. Gary is young. Nice, young people are red. All red people are smart. All quiet, smart people are cold. All quiet people are nice. All nice people are young. All quiet people are nice. All nice people are quiet. All red, young people are smart.
Charlie is not smart.