Bob is kind. Bob is quiet. Charlie is big. Charlie is kind. Charlie is nice. Charlie is young. Gary is big. Gary is green. Gary is kind. Gary is red. Gary is young. Harry is big. Harry is nice. Harry is quiet. Harry is young. If Bob is nice and Bob is green then Bob is kind. Kind people are young. If someone is red and big then they are kind. Green people are quiet. If someone is nice and young then they are big. All quiet, green people are nice.
Bob is not green.