Bob is blue. Charlie is young. Dave is blue. Gary is white. Young things are white. If something is white then it is blue. If something is big and young then it is nice. White things are big. All green things are nice. All kind, green things are young.
Dave is not blue.