Anne is young. Charlie is big. Charlie is blue. Charlie is not green. Charlie is round. Charlie is not young. Dave is big. Dave is cold. Dave is round. Erin is big. Erin is blue. Erin is cold. Erin is green. Erin is round. Erin is young. If something is not cold then it is not smart. If something is big and not cold then it is not green. All green, smart things are round. If Charlie is smart then Charlie is big. Big, young things are blue. Green, cold things are round. If Anne is cold then Anne is big. If something is not round then it is blue.
Anne is green.