Anne is nice. Anne is round. Anne is young. Bob is not nice. Bob is round. Charlie is kind. Charlie is nice. Charlie is round. Charlie is smart. Gary is nice. If someone is furry then they are not smart. Round people are not green. Smart people are young. Green people are furry. All green people are not furry. Young people are round. If someone is kind and nice then they are smart. If someone is nice and not green then they are kind. If Gary is not kind then Gary is not smart.
Bob is not kind.