Anne is not blue. Anne is green. Anne is round. Anne is smart. Charlie is young. Dave is rough. Dave is smart. If Charlie is green and Charlie is smart then Charlie is young. If Anne is green and Anne is nice then Anne is smart. If Anne is young then Anne is blue. All young people are not round. Nice people are rough. If someone is not blue then they are smart.
Anne is round.