the shrink-wrap is a SIGINT.
sent1: the redshank is not an equatorial and it is not a Medoc. sent2: the shrink-wrap is not a brand. sent3: if the redshank is not a kind of a Heyward the shrink-wrap effaces Cricetidae and is a SIGINT. sent4: the redshank is a invalidator that roofs hush if it is not a SIGINT. sent5: if that something is not a Heyward and does not efface Cricetidae is false then it is not a Medoc. sent6: if the fact that the redshank is multiform and it is a brand is false it is not a SIGINT. sent7: if something is not a kind of a brand then it is multiform and it roofs hush. sent8: if something is a invalidator that is not a Heyward it effaces Cricetidae. sent9: if the redshank is not an equatorial and is not a Medoc then the stemma is not a kind of a Heyward. sent10: if something does efface Cricetidae and roofs hush then it is not a SIGINT. sent11: the shrink-wrap is a invalidator but it is not a Heyward if the stemma is not a kind of a Heyward.
sent9 & sent1 -> int1: the stemma is not a Heyward.; int1 & sent11 -> int2: the shrink-wrap is a invalidator but it is not a kind of a Heyward.; sent8 -> int3: the fact that the shrink-wrap does efface Cricetidae hold if it is a invalidator and not a Heyward.; int2 & int3 -> int4: the shrink-wrap effaces Cricetidae.; sent7 -> int5: the shrink-wrap is a kind of multiform thing that roofs hush if it is not a brand.; int5 & sent2 -> int6: the shrink-wrap is multiform and it does roof hush.; int6 -> int7: the shrink-wrap roofs hush.; int4 & int7 -> int8: the shrink-wrap effaces Cricetidae and roofs hush.; sent10 -> int9: if the fact that the shrink-wrap does efface Cricetidae and it roofs hush is not false then it is not a SIGINT.; int8 & int9 -> hypothesis;
the shrink-wrap is a SIGINT.
$hypothesis$ = the shrink-wrap is a SIGINT. ; $context$ = sent1: the redshank is not an equatorial and it is not a Medoc. sent2: the shrink-wrap is not a brand. sent3: if the redshank is not a kind of a Heyward the shrink-wrap effaces Cricetidae and is a SIGINT. sent4: the redshank is a invalidator that roofs hush if it is not a SIGINT. sent5: if that something is not a Heyward and does not efface Cricetidae is false then it is not a Medoc. sent6: if the fact that the redshank is multiform and it is a brand is false it is not a SIGINT. sent7: if something is not a kind of a brand then it is multiform and it roofs hush. sent8: if something is a invalidator that is not a Heyward it effaces Cricetidae. sent9: if the redshank is not an equatorial and is not a Medoc then the stemma is not a kind of a Heyward. sent10: if something does efface Cricetidae and roofs hush then it is not a SIGINT. sent11: the shrink-wrap is a invalidator but it is not a Heyward if the stemma is not a kind of a Heyward. ; $proof$ = 
sent9 & sent1 -> int1: the stemma is not a Heyward.; int1 & sent11 -> int2: the shrink-wrap is a invalidator but it is not a kind of a Heyward.; sent8 -> int3: the fact that the shrink-wrap does efface Cricetidae hold if it is a invalidator and not a Heyward.; int2 & int3 -> int4: the shrink-wrap effaces Cricetidae.; sent7 -> int5: the shrink-wrap is a kind of multiform thing that roofs hush if it is not a brand.; int5 & sent2 -> int6: the shrink-wrap is multiform and it does roof hush.; int6 -> int7: the shrink-wrap roofs hush.; int4 & int7 -> int8: the shrink-wrap effaces Cricetidae and roofs hush.; sent10 -> int9: if the fact that the shrink-wrap does efface Cricetidae and it roofs hush is not false then it is not a SIGINT.; int8 & int9 -> hypothesis; __DISPROVED__