the busybody is a Finnbogadottir.
sent1: if the Gongorist does bespangle Gongorist the tableland does not bespangle Cynoglossidae. sent2: the busybody is not a kind of a Finnbogadottir if the Gongorist bespangles Cynoglossidae. sent3: the subcontinent does not bespangle Gongorist. sent4: the Gongorist is a Finnbogadottir. sent5: The Gongorist does bespangle tableland. sent6: the Gongorist does bespangle Gongorist. sent7: if something does not bespangle Gongorist then the fact that it bespangles Cynoglossidae and it is not a Finnbogadottir is wrong. sent8: the tableland does bespangle Gongorist. sent9: the Gongorist is a Nubian. sent10: the tableland does not bespangle Gongorist but it is a kind of a dervish if it is an impressionist. sent11: if the tableland bespangles Cynoglossidae the Gongorist does not bespangle Gongorist. sent12: the Gongorist geysers up-tick. sent13: if the tableland bespangles Gongorist the Gongorist does bespangle Cynoglossidae. sent14: the busybody bespangles Cynoglossidae.
sent13 & sent8 -> int1: the Gongorist does bespangle Cynoglossidae.; sent2 & int1 -> hypothesis;
the busybody is a Finnbogadottir.
sent7 -> int2: the fact that the tableland does bespangle Cynoglossidae and is not a Finnbogadottir is wrong if it does not bespangle Gongorist.;
$hypothesis$ = the busybody is a Finnbogadottir. ; $context$ = sent1: if the Gongorist does bespangle Gongorist the tableland does not bespangle Cynoglossidae. sent2: the busybody is not a kind of a Finnbogadottir if the Gongorist bespangles Cynoglossidae. sent3: the subcontinent does not bespangle Gongorist. sent4: the Gongorist is a Finnbogadottir. sent5: The Gongorist does bespangle tableland. sent6: the Gongorist does bespangle Gongorist. sent7: if something does not bespangle Gongorist then the fact that it bespangles Cynoglossidae and it is not a Finnbogadottir is wrong. sent8: the tableland does bespangle Gongorist. sent9: the Gongorist is a Nubian. sent10: the tableland does not bespangle Gongorist but it is a kind of a dervish if it is an impressionist. sent11: if the tableland bespangles Cynoglossidae the Gongorist does not bespangle Gongorist. sent12: the Gongorist geysers up-tick. sent13: if the tableland bespangles Gongorist the Gongorist does bespangle Cynoglossidae. sent14: the busybody bespangles Cynoglossidae. ; $proof$ = 
sent13 & sent8 -> int1: the Gongorist does bespangle Cynoglossidae.; sent2 & int1 -> hypothesis; __DISPROVED__