Charlie is furry. Charlie is kind. Charlie is smart. Dave is round. Dave is white. Gary is big. Gary is blue. Gary is furry. Gary is round. Gary is not smart. Harry is big. Harry is blue. Harry is kind. Harry is not smart. Harry is not white. If Harry is blue then Harry is round. If someone is big and round then they are not white. All smart people are big. Blue people are not white. All big people are blue. If Dave is smart and Dave is white then Dave is kind. All smart people are kind. If Dave is blue and Dave is big then Dave is not kind.
Dave is smart.