Bob is green. Bob is kind. Bob is nice. Bob is not quiet. Bob is red. Charlie is big. Charlie is not kind. Charlie is not red. Harry is green. Harry is kind. Harry is not nice. Harry is not white. All big people are quiet. If someone is quiet then they are not kind. All big people are white.
Bob is not green.