Anne is green. Anne is rough. Charlie is big. Charlie is green. Charlie is round. Charlie is young. Erin is rough. Erin is smart. Erin is not young. Gary is round. Gary is young. If someone is cold and not young then they are green. All cold, smart people are big. If Gary is young and Gary is rough then Gary is cold. All smart people are rough. Big, cold people are green. All young, round people are smart.
Gary is not rough.