Bob is nice. Bob is round. Charlie is big. Charlie is blue. Charlie is red. Charlie is round. Dave is round. All white things are round. White, blue things are big. If something is round then it is blue.
Dave is not round.