Anne is big. Charlie is cold. Dave is young. If something is white and big then it is young. If something is not cold then it is nice. All young things are not cold. If something is cold and not big then it is nice. All smart, big things are red. If something is not big then it is smart. Smart, young things are white. If something is big and not white then it is not young.
Anne is not smart.