Premise: Charles I of England . Charles was tried , convicted , and executed for high treason in January 1649 . Henrietta Maria of France ( Henriette Marie 25 November 1609 -- 10 September 1669 ) was queen consort of England , Scotland , and Ireland as the wife of King Charles I .
Hypothesis: Henrietta Maria of France married a king who was executed.
Label: ENTAILMENT