Anne is not big. Charlie is nice. Dave is white. Gary is big. If Anne is rough then Anne is white. If Gary is nice then Gary is rough. If something is white then it is not rough. If something is green then it is white. If Gary is rough then Gary is not red. White things are red. Green, white things are blue. If something is not blue then it is nice.
Dave is nice.