Louis XIII had hoped to make his favorite hunting lodge a modest retirement home.
Louis XIII did not retire to his favorite hunting lodge.
mnli hypothesis: Louis XIII did not retire to his favorite hunting lodge. premise: Louis XIII had hoped to make his favorite hunting lodge a modest retirement home.