the bombshell is not a polls.
sent1: the turnstile does not lunch fig. sent2: something is a kind of a polls if it does not lunch fig. sent3: the bombshell does not heat Proust if something is not a smother. sent4: if there exists something such that it is either not a smother or not non-corrupting or both then the bombshell does not heat Proust. sent5: the eremite is not a phlox. sent6: if something does not heat Proust then it does not lunch fig. sent7: the eremite is a kind of incorrigible thing that heats delinquent if it is not a kind of a phlox. sent8: the bombshell does poll and/or it lunches blare if it does not heat Proust. sent9: The blare does not lunch screening. sent10: the screening does not lunch blare. sent11: if the eremite is incorrigible then it is a kind of a Hmong. sent12: if the screening does not lunch blare then it does not smother and/or is corrupting. sent13: if something does not lunch fig then it does lunch blare and does not heat Proust.
sent12 & sent10 -> int1: the screening is not a kind of a smother or it does corrupt or both.; int1 -> int2: something does not smother and/or corrupts.; int2 & sent4 -> int3: the bombshell does not heat Proust.; sent6 -> int4: the bombshell does not lunch fig if it does not heat Proust.; int3 & int4 -> int5: the bombshell does not lunch fig.; sent2 -> int6: if the bombshell does not lunch fig then the fact that it does poll is right.; int5 & int6 -> hypothesis;
the bombshell is not a kind of a polls.
sent13 -> int7: if the screening does not lunch fig then it lunches blare and it does not heat Proust.; sent7 & sent5 -> int8: the eremite is incorrigible and does heat delinquent.; int8 -> int9: the eremite is incorrigible.; sent11 & int9 -> int10: the eremite is a kind of a Hmong.; int10 -> int11: there is something such that it is not non-Hmong.;
$hypothesis$ = the bombshell is not a polls. ; $context$ = sent1: the turnstile does not lunch fig. sent2: something is a kind of a polls if it does not lunch fig. sent3: the bombshell does not heat Proust if something is not a smother. sent4: if there exists something such that it is either not a smother or not non-corrupting or both then the bombshell does not heat Proust. sent5: the eremite is not a phlox. sent6: if something does not heat Proust then it does not lunch fig. sent7: the eremite is a kind of incorrigible thing that heats delinquent if it is not a kind of a phlox. sent8: the bombshell does poll and/or it lunches blare if it does not heat Proust. sent9: The blare does not lunch screening. sent10: the screening does not lunch blare. sent11: if the eremite is incorrigible then it is a kind of a Hmong. sent12: if the screening does not lunch blare then it does not smother and/or is corrupting. sent13: if something does not lunch fig then it does lunch blare and does not heat Proust. ; $proof$ = 
sent12 & sent10 -> int1: the screening is not a kind of a smother or it does corrupt or both.; int1 -> int2: something does not smother and/or corrupts.; int2 & sent4 -> int3: the bombshell does not heat Proust.; sent6 -> int4: the bombshell does not lunch fig if it does not heat Proust.; int3 & int4 -> int5: the bombshell does not lunch fig.; sent2 -> int6: if the bombshell does not lunch fig then the fact that it does poll is right.; int5 & int6 -> hypothesis; __DISPROVED__