Anne is rough. Anne is round. Charlie is furry. Charlie is red. Charlie is rough. Charlie is smart. Dave is rough. Dave is round. Erin is furry. Erin is smart. Erin is young. Round people are green. If someone is green then they are furry. Green people are round. Smart people are furry. All red people are young. If Anne is round then Anne is green. Young, round people are green. Furry, round people are smart. If someone is smart and green then they are red.
Charlie is not young.