Bob is cold. Bob is kind. Bob is nice. Charlie is green. Charlie is kind. Charlie is nice. Erin is cold. Erin is nice. Erin is rough. Gary is green. Kind, blue people are young. If someone is green then they are blue. If someone is young and kind then they are rough. If someone is green and young then they are cold. Green people are cold. All rough people are kind. If Charlie is rough then Charlie is green. All young people are nice.
Gary is not green.