Prémisse : George Herbert Walker Bush (né le 12 juin 1924) est l'ancien 41e président des États-Unis d'Amérique. Presque immédiatement après son retour de la guerre en décembre 1944, George Bush épouse Barbara Pierce.
Hypothèse : Le nom de la femme de George H.W. Bush est Barbara.
Relation : entailment