Bob is big. Bob is cold. Charlie is big. Charlie is green. Charlie is kind. Charlie is not rough. Dave is blue. Dave is cold. Dave is round. Gary is rough. If Charlie is kind then Charlie is big. If someone is big then they are blue. All green people are big. Blue people are kind. If Dave is green then Dave is rough. If Gary is round then Gary is green. All rough people are round. Round, cold people are kind.
Bob is not green.