Bob is green. Dave is blue. Dave is kind. Dave is nice. Dave is smart. Dave is white. Gary is smart. Gary is young. Harry is green. Harry is kind. Harry is nice. Harry is smart. Harry is white. Harry is young. If Gary is kind then Gary is blue. If someone is smart and young then they are nice. All nice people are green. All young, blue people are green. If someone is white then they are nice. All smart, blue people are white. All blue people are young. If Harry is young and Harry is white then Harry is smart. Young, green people are kind.
Dave is not young.