Premise: The Palais-Royal, across the rue de Rivoli from the Louvre, was built as Cardinal Richelieu's residence in 1639 (it became royal when Anne of Austria moved in with young Louis XIV).
Hypothesis: The Palais-Royal was the residence of Cardinal Richelieu.  
Label: entailment