Premise: Bush und seine Frau Laura verließen das Weiße Haus am Donnerstag Nachmittag, um vier Tage im bewaldeten Präsidenten-Rückzug zu verbringen, einer rustikalen Hütte in den Bergen von Maryland. Neben Jenna Welch, der Mutter der Präsidentengattin, besteht die Wochenendtruppe aus den Eltern des Präsidenten, dem ehemaligen Präsidenten George H. W. Bush und seiner Frau Barbara, seiner Schwester Doro Koch und ihrem Ehemann Bobby sowie seinem Bruder Marvin und dessen Frau Margaret.
Hypothesis: Der Name der Frau von George H. W. Bush ist Barbara.
Label: entailment