Dave is big. Dave is cold. Dave is green. Dave is quiet. Gary is kind. Gary is quiet. Gary is young. Harry is blue. Harry is cold. Harry is kind. Harry is quiet. Harry is young. If someone is big then they are kind. Green people are blue. All young people are kind. Green people are young. If Harry is quiet and Harry is young then Harry is cold. If Gary is blue then Gary is quiet. All green, blue people are cold. If Harry is blue and Harry is kind then Harry is green.
Dave is not green.