Bob is big. Charlie is furry. Charlie is green. Dave is big. Dave is blue. Dave is furry. Dave is white. Erin is big. Erin is blue. Erin is white. If something is furry then it is nice. If something is rough then it is nice. All white things are nice. Nice things are white. Furry, blue things are rough. All furry things are white. If something is white then it is green. All nice things are furry.
Dave is white.