Bob is big. Bob is nice. Charlie is green. Charlie is nice. Dave is big. Gary is furry. Gary is green. If Gary is green then Gary is red. If someone is not green then they are blue. If someone is furry and not green then they are red. If someone is not kind then they are red. If someone is furry and not green then they are red. If someone is kind then they are furry. If someone is big then they are furry. If someone is not nice then they are red.
Gary is not big.