Anne is not cold. Charlie is green. Charlie is not smart. Gary is cold. Gary is round. Harry is quiet. Harry is red. Smart, green people are red. Round people are red. If Gary is rough then Gary is quiet. If Anne is smart then Anne is quiet. Red, cold people are rough. If someone is cold and not green then they are smart. Red people are rough. If Charlie is red and Charlie is round then Charlie is rough.
Gary is not rough.