the fact that there is something such that if it does not skimp it is not a headful does not hold.
sent1: if something is not ergotic it is not a groom. sent2: something is not a kind of a headful if it does not skimp. sent3: if something does skimp then it is not a kind of a headful. sent4: if something does not syllogize Halle it is covert. sent5: something is not a cottonwick if it is covert. sent6: there exists something such that if it skimps it is not a headful. sent7: if that the flagfish does not syllogize allegro is not incorrect it is a headful. sent8: something is a kind of a headful if the fact that it does not skimp is not wrong. sent9: the flagfish is a kind of a headful if it does not skimp. sent10: there is something such that if it does not skimp it is a headful. sent11: if the flagfish does skimp it is not a kind of a headful. sent12: if the Boniface is not a kind of a Hubbard then it does syllogize nidus. sent13: if something is not copular then it is triumphal.
sent2 -> int1: if the flagfish does not skimp it is not a kind of a headful.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it does not skimp it is not a headful does not hold. ; $context$ = sent1: if something is not ergotic it is not a groom. sent2: something is not a kind of a headful if it does not skimp. sent3: if something does skimp then it is not a kind of a headful. sent4: if something does not syllogize Halle it is covert. sent5: something is not a cottonwick if it is covert. sent6: there exists something such that if it skimps it is not a headful. sent7: if that the flagfish does not syllogize allegro is not incorrect it is a headful. sent8: something is a kind of a headful if the fact that it does not skimp is not wrong. sent9: the flagfish is a kind of a headful if it does not skimp. sent10: there is something such that if it does not skimp it is a headful. sent11: if the flagfish does skimp it is not a kind of a headful. sent12: if the Boniface is not a kind of a Hubbard then it does syllogize nidus. sent13: if something is not copular then it is triumphal. ; $proof$ = 
sent2 -> int1: if the flagfish does not skimp it is not a kind of a headful.; int1 -> hypothesis; __DISPROVED__