Charlie is furry. Charlie is not nice. Charlie is not quiet. Charlie is red. Charlie is smart. Harry is not furry. Harry is green. Harry is nice. Harry is not quiet. Harry is red. Harry is smart. Harry is white. All green things are smart. Green, smart things are white. If something is furry and green then it is smart. If something is not green then it is not quiet. If something is not red then it is white. If something is not furry and not green then it is not red.
Charlie is not nice.