Anne is green. Anne is nice. Anne is smart. Anne is young. Charlie is nice. Charlie is red. Charlie is young. Dave is furry. Dave is nice. Dave is red. Dave is smart. Dave is young. All young, nice people are smart. Furry people are round. Smart, red people are young. If someone is furry and round then they are nice. If Charlie is furry and Charlie is young then Charlie is nice. All red people are furry.
Charlie is smart.