Anne is green. Anne is kind. Anne is red. Anne is rough. Dave is nice. Erin is not blue. Gary is not blue. Green people are nice. If someone is blue and not nice then they are not red.
Gary is not nice.