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