Charlie is green. Charlie is nice. Charlie is not red. Dave is quiet. Dave is not red. Dave is rough. Erin is not green. Harry is big. Harry is not blue. Harry is green. Harry is not quiet. Harry is rough. If something is not blue and not nice then it is not red. If something is not rough then it is quiet.
Charlie is not blue.