Bob is big. Bob is not furry. Bob is rough. Bob is smart. Charlie is big. Charlie is not kind. Charlie is smart. If Charlie is red then Charlie is smart. All red people are kind. If someone is not quiet then they are smart. If Charlie is kind then Charlie is furry. If someone is not big then they are smart. If someone is red and not furry then they are not rough.
Charlie is not furry.