Bob is furry. Bob is not quiet. Bob is red. Charlie is kind. Charlie is smart. Gary is kind. Gary is rough. Gary is round. Gary is smart. Harry is not kind. Harry is round. Harry is smart. If something is kind and not round then it is smart. Furry, smart things are red. If something is quiet and not red then it is not smart.
Charlie is not smart.