Bob is blue. Bob is furry. Bob is rough. Bob is young. Charlie is not blue. Charlie is not furry. Charlie is green. Charlie is quiet. Dave is quiet. Dave is white. If someone is quiet and not furry then they are rough. If someone is green and rough then they are young. If Charlie is white and Charlie is furry then Charlie is blue.
Dave is green.