Charlie is nice. If something is not rough then it is quiet. If Charlie is red then Charlie is nice. If Charlie is quiet then Charlie is red. If something is red then it is furry. If something is furry and not quiet then it is big. If something is not red then it is not nice.
Charlie is not furry.