Anne is green. Anne is round. Charlie is green. Charlie is smart. Dave is cold. Dave is green. Erin is rough. All young, green things are smart. All cold things are green. Smart, young things are not rough. All cold, white things are smart. If something is smart and round then it is cold. All cold, round things are white. All smart things are round. All green things are round. If something is white then it is young.
Charlie is not young.