Bob is big. Bob is kind. Bob is nice. Bob is not quiet. Bob is not red. Bob is young. Dave is big. Dave is not green. Dave is red. Harry is big. Harry is green. Harry is kind. Harry is nice. Harry is quiet. Harry is red. Harry is not young. If someone is nice and not red then they are green. If someone is young and not green then they are nice.
Dave is not nice.