Anne is not smart. Bob is blue. Bob is green. Bob is rough. Bob is round. Bob is smart. Bob is not white. Charlie is blue. Dave is green. Dave is rough. Dave is not round. Dave is smart. White things are round. If something is green then it is furry. If Anne is round then Anne is green. If something is not smart then it is round. If something is not white then it is green. All furry things are blue. If something is green and not furry then it is round. If something is furry and not blue then it is rough.
Charlie is not furry.