Anne is not rough. Charlie is cold. Dave is not rough. All cold things are round. Big things are not rough. All smart, nice things are rough. Round things are big. If something is smart and not big then it is round. If something is rough and not round then it is nice.
Anne is rough.