Anne is big. Anne is cold. Anne is green. Anne is rough. Anne is young. Charlie is big. Charlie is quiet. Charlie is young. Dave is big. Dave is kind. Dave is quiet. Dave is rough. Gary is green. Gary is quiet. Gary is rough. Gary is young. If someone is cold and rough then they are big. All green people are rough. All cold people are rough. Cold, big people are young. Cold, young people are kind. If Charlie is cold and Charlie is green then Charlie is big. If someone is young then they are cold. Rough people are green.
Gary is not cold.