Anne is big. Anne is not furry. Bob is not big. Bob is white. Dave is white. Gary is furry. Gary is white. If someone is big and not red then they are young. If someone is furry and nice then they are kind. If Gary is not kind then Gary is big.
Gary is not big.