Premise: George Herbert Walker Bush (nato il 12 giugno 1924) è l'ex 41esimo Presidente degli Stati Uniti d'America. Quasi immediatamente dopo il suo ritorno dalla guerra nel dicembre del 1944, George Bush sposò Barbara Pierce.
Hypothesis: Il nome della moglie di George H.W. Bush è Barbara. 
Label: entailment