Dave is big. Dave is cold. Gary is cold. If someone is white then they are furry. If someone is young and not cold then they are white. If someone is green then they are not big. Big, cold people are not green. If someone is not big then they are green. Big people are smart. If someone is green and smart then they are not furry. If Gary is young and Gary is not white then Gary is not green.
Dave is not furry.