Dave is rough. Dave is young. Gary is furry. Gary is nice. Gary is white. Harry is furry. Harry is green. Harry is nice. Harry is rough. Harry is young. All furry people are red. If someone is rough and nice then they are green. Rough, white people are young. All furry people are white. All rough, nice people are furry. If someone is red then they are rough.
Gary is not green.