Anne is not big. Anne is not cold. Anne is white. Charlie is blue. Charlie is green. Charlie is kind. Charlie is nice. If Charlie is blue then Charlie is green. If Anne is nice and Anne is white then Anne is not blue. If something is nice then it is white. If Anne is blue and Anne is not nice then Anne is kind. If something is not big then it is blue. If Anne is cold and Anne is big then Anne is kind. If Charlie is big then Charlie is white. If something is big and not blue then it is white.
Anne is not big.