Anne is big. Charlie is round. Charlie is smart. Dave is big. Dave is green. Dave is round. Dave is white. Gary is nice. Gary is round. Gary is not smart. If something is not nice then it is not young. All nice, young things are round. All green, smart things are big. All green, smart things are round. Big, young things are round. If something is smart then it is not nice. If something is nice and not big then it is not smart. If something is smart and not round then it is not nice.
Charlie is round.