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