Bob is furry. Bob is green. Bob is rough. Bob is white. Bob is not young. Dave is furry. Dave is not white. Gary is green. Gary is nice. Gary is white. Young, big people are furry. Nice people are young. If someone is not nice then they are rough. If Dave is young then Dave is rough. Green, big people are not nice. All young, nice people are rough. All young, rough people are furry. If someone is not furry then they are young.
Gary is not big.