Charlie is big. Charlie is not green. Dave is not blue. Dave is rough. Erin is big. Erin is white. Harry is white. If Dave is green and Dave is cold then Dave is blue. Green, blue things are not cold. If something is not rough and not big then it is green. Smart things are not rough. If something is cold and not rough then it is white. If something is smart and not green then it is white.
Charlie is not white.