Dave is not blue. Dave is green. Dave is kind. Dave is nice. Dave is not rough. Dave is not young. Erin is kind. Erin is nice. Erin is young. Gary is blue. Gary is green. Gary is not kind. Gary is nice. Gary is red. Gary is rough. Gary is young. If Erin is young then Erin is red. If something is young and not rough then it is green. Rough, blue things are young. If Erin is young then Erin is blue. If something is young and not red then it is kind. If something is not kind then it is nice. If something is rough and not nice then it is not kind. If Erin is kind and Erin is not nice then Erin is green.
Dave is not red.