Charlie is round. Dave is smart. Gary is big. Gary is green. Gary is quiet. Gary is round. Gary is smart. Gary is young. Harry is quiet. Harry is round. If something is smart then it is big. All furry, round things are green. Big things are round. If something is furry then it is smart. All green things are young. All quiet things are round. Smart, round things are furry. All young, round things are smart.
Charlie is not smart.