Anne is blue. Anne is green. Anne is nice. Anne is red. Charlie is blue. Charlie is red. Dave is blue. Dave is green. Dave is nice. Dave is quiet. Dave is red. Dave is round. Dave is young. Erin is blue. Erin is nice. Erin is quiet. Nice people are young. All round people are red. All red, young people are quiet. All red people are round. Red, round people are nice. If Anne is green then Anne is red. Green people are red. If someone is nice and round then they are young.
Charlie is green.