Charlie is blue. Charlie is cold. Charlie is not nice. Charlie is round. Charlie is smart. Charlie is not white. Charlie is not young. Dave is blue. Dave is not cold. Dave is smart. If something is smart and not cold then it is white. If Charlie is cold then Charlie is round. All nice, round things are not white. If Charlie is cold then Charlie is round. If Charlie is nice and Charlie is cold then Charlie is smart. If Dave is smart then Dave is not nice. All cold, blue things are round. All round, young things are blue.
Charlie is young.