Anne is not furry. Anne is not green. Anne is not smart. Charlie is big. Charlie is kind. Charlie is nice. Charlie is not smart. Charlie is young. Harry is not kind. Harry is young. If someone is young and not big then they are not kind. If someone is big and not kind then they are furry. If someone is nice and not young then they are not kind.
Charlie is not big.