Anne is not smart. Charlie is rough. If something is rough then it is not quiet. If Charlie is rough then Charlie is not green. If Charlie is not furry and Charlie is not big then Charlie is not smart. If something is smart and not nice then it is green. If Charlie is big then Charlie is quiet. If something is nice and not smart then it is quiet. All quiet things are green. If something is not rough then it is green.
Anne is not smart.