Bob is kind. Bob is rough. Dave is rough. Dave is young. Erin is young. Gary is big. Gary is green. If someone is smart then they are not cold. All kind people are smart. All rough, big people are young. If someone is green then they are kind. All young, big people are green. All rough people are young. If Erin is young then Erin is big. All cold people are rough.
Bob is not green.