Dave is big. Dave is green. Dave is kind. Dave is nice. Dave is not red. Dave is not round. Dave is young. Gary is big. Gary is green. Gary is kind. Gary is not nice. Gary is red. Gary is not round. Gary is young. If someone is green and not red then they are not round. If someone is round then they are not young. If someone is green and not kind then they are not nice.
Dave is not green.