Charlie is quiet. Gary is nice. Gary is not smart. If Charlie is quiet then Charlie is smart. If something is not red and not quiet then it is big. Nice things are not red. White things are not quiet. If Charlie is smart and Charlie is not red then Charlie is nice. If something is not white then it is big. If Gary is quiet then Gary is not nice. If something is not furry and not big then it is not white.
Charlie is not quiet.