mnli premise: Prince Henry retired to what was known as the end-of-the-world, the Sagres peninsula in the Algarve (see page 101). hypothesis: Prince Henry never retired, he stayed king till the end with no retirement.