Anne is big. Anne is furry. Anne is not green. Anne is young. Bob is green. Charlie is green. Charlie is round. Charlie is not white. Charlie is young. Dave is big. Dave is not furry. Dave is green. Dave is nice. Dave is round. Dave is white. Dave is young. If something is nice then it is white. If Bob is green and Bob is not big then Bob is not young. All white, nice things are round. If Anne is furry then Anne is nice. Round things are young. If something is big and not round then it is white. If something is not nice then it is green. If something is not big and not white then it is not furry.
Charlie is nice.