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