Bob is young. Bob is rough. Bob is nice. Bob is blue. Bob is big. Charlie is round. Charlie is big. Gary is kind. Gary is green. Gary is cold. Gary is big. Harry is red. If someone is green and round and nice then they are kind. If someone is young and rough then they are green. If someone is nice and green then they are round. If someone is red and young then they are green. If someone is kind and blue and green then they are nice. If someone is rough and kind and nice then they are green. If someone is kind and nice and round then they are green.
Bob is not green.