Bob is young. Bob is nice. Bob is cold. Dave is nice. Dave is green. Dave is big. Fred is kind. Fred is blue. Gary is red. Gary is nice. Gary is kind. Gary is green. If someone is cold and kind then they are blue. If someone is blue and kind then they are young. If someone is rough and blue then they are green. If someone is kind then they are cold. If someone is cold and rough and green then they are big.
Dave is green.