Premise: The last monarch to spend a night in the palace was Charles I, in 1633.

Hypothesis: Charles I stayed in the palace in 1633.
Relation: entailment