Bob is quiet. Dave is blue. Dave is nice. Dave is quiet. Gary is nice. Harry is cold. Harry is quiet. All nice things are green. If something is green then it is furry. Green, quiet things are nice. Nice, young things are quiet. All furry, blue things are nice. All furry, green things are blue. All furry, young things are nice. If Dave is blue and Dave is young then Dave is nice. Green, blue things are young.
Dave is not blue.