Bob is smart. Dave is not young. Gary is nice. If Bob is young then Bob is green. If someone is young then they are not green. If Gary is rough then Gary is not green. If someone is nice and smart then they are kind. All rough people are smart. Green people are smart. If Bob is young then Bob is not big. If someone is not young then they are rough.
Dave is rough.