Dave is not kind. Dave is not rough. Gary is young. Kind people are nice. All kind, red people are big. All red, kind people are not nice. All green people are not kind. Red people are rough. Young people are red. If someone is red and rough then they are green. If someone is not nice and not young then they are big.
Gary is not red.