Charlie is blue. Charlie is rough. Dave is quiet. Dave is not red. Dave is rough. Dave is white. Erin is blue. Erin is smart. Gary is blue. Gary is green. Gary is not red. Gary is not white. If someone is green and not rough then they are quiet. All blue, green people are not rough.
Gary is not quiet.