Bob is big. Bob is blue. Bob is green. Bob is red. Bob is white. Dave is not big. Dave is blue. Dave is not green. Dave is not kind. Dave is red. Gary is blue. Gary is green. Gary is white. Harry is green. Harry is white. If something is smart then it is kind. Big, white things are blue. All smart, blue things are red. Kind, big things are green. All smart, red things are blue. If something is not big and not red then it is blue.
Dave is white.