Dave is big. Dave is not green. Dave is not kind. Dave is red. Dave is white. Dave is not young. Harry is not big. Harry is cold. Harry is green. Harry is kind. If Harry is kind then Harry is red. If someone is green and not young then they are cold. If Harry is young and Harry is not big then Harry is kind. If someone is cold and not white then they are green. If someone is not white then they are not big. If someone is green then they are kind.
Harry is not red.