Bob is furry. Bob is green. Bob is nice. Bob is quiet. Charlie is furry. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is rough. Charlie is young. Rough, nice things are furry. All quiet, green things are furry. If something is nice then it is green. If something is green then it is rough. If Charlie is nice then Charlie is rough. If something is green then it is rough. All smart, rough things are quiet. If Bob is smart then Bob is young.
Bob is not furry.