Anne is green. Dave is not blue. Dave is furry. Dave is green. Dave is kind. Dave is smart. Erin is blue. Erin is kind. Erin is not smart. Erin is young. Gary is furry. Gary is green. Gary is kind. Gary is nice. Gary is not smart. Gary is young. If something is nice and not kind then it is young. If something is green and not furry then it is nice.
Gary is not smart.