the E-bomb does not market.
sent1: something is not a market if it does not disoblige cue and it is a broadbill. sent2: there exists something such that it is carpellary and/or a subsoil. sent3: the cue is a kind of an octogenarian. sent4: that the E-bomb is both not a market and not alphabetic is not true. sent5: that something is vinaceous thing that is not a kind of a Spanish is wrong if it is not a kind of a ridge. sent6: that something is not semiotic and it is not a reply is wrong if it is not a market. sent7: if something does not disoblige cue that it is semiotic and it is not alphabetic is incorrect. sent8: if the napoleon does gall undesirability the cue is a charter. sent9: the napoleon galls undesirability and it is dendritic. sent10: the cue is alphabetic. sent11: if something is not semiotic then the fact that it does disoblige cue and it is not alphabetic is false. sent12: if the cue is alphabetic then it disobliges cue. sent13: that the cue distrusts if something is carpellary or it is a subsoil or both is not false. sent14: the fact that something does market but it is not a broadbill is wrong if it does disoblige cue. sent15: the cue is not a broadbill if the fact that the E-bomb is not semiotic and is not a reply does not hold. sent16: if something does disoblige cue it is a broadbill.
sent6 -> int1: if the E-bomb does not market that it is not semiotic and it is not a reply is false.; void -> assump1: Let's assume that the E-bomb is not a market.; int1 & assump1 -> int2: that that the E-bomb is not semiotic and is not a reply hold is not true.; int2 & sent15 -> int3: the cue is not a broadbill.; sent16 -> int4: the cue is a broadbill if it does disoblige cue.; sent12 & sent10 -> int5: the cue does disoblige cue.; int4 & int5 -> int6: the cue is a broadbill.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the E-bomb is not alphabetic.
sent14 -> int8: if that the E-bomb does disoblige cue is right that it is a kind of a market and it is not a broadbill is not true.; sent2 & sent13 -> int9: the cue is a distrust.; sent9 -> int10: the napoleon does gall undesirability.; sent8 & int10 -> int11: the cue charters.; int9 & int11 -> int12: the cue is both a distrust and a charter.; int12 -> int13: there exists something such that it is a distrust and it is a charter.;
$hypothesis$ = the E-bomb does not market. ; $context$ = sent1: something is not a market if it does not disoblige cue and it is a broadbill. sent2: there exists something such that it is carpellary and/or a subsoil. sent3: the cue is a kind of an octogenarian. sent4: that the E-bomb is both not a market and not alphabetic is not true. sent5: that something is vinaceous thing that is not a kind of a Spanish is wrong if it is not a kind of a ridge. sent6: that something is not semiotic and it is not a reply is wrong if it is not a market. sent7: if something does not disoblige cue that it is semiotic and it is not alphabetic is incorrect. sent8: if the napoleon does gall undesirability the cue is a charter. sent9: the napoleon galls undesirability and it is dendritic. sent10: the cue is alphabetic. sent11: if something is not semiotic then the fact that it does disoblige cue and it is not alphabetic is false. sent12: if the cue is alphabetic then it disobliges cue. sent13: that the cue distrusts if something is carpellary or it is a subsoil or both is not false. sent14: the fact that something does market but it is not a broadbill is wrong if it does disoblige cue. sent15: the cue is not a broadbill if the fact that the E-bomb is not semiotic and is not a reply does not hold. sent16: if something does disoblige cue it is a broadbill. ; $proof$ = 
sent6 -> int1: if the E-bomb does not market that it is not semiotic and it is not a reply is false.; void -> assump1: Let's assume that the E-bomb is not a market.; int1 & assump1 -> int2: that that the E-bomb is not semiotic and is not a reply hold is not true.; int2 & sent15 -> int3: the cue is not a broadbill.; sent16 -> int4: the cue is a broadbill if it does disoblige cue.; sent12 & sent10 -> int5: the cue does disoblige cue.; int4 & int5 -> int6: the cue is a broadbill.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __DISPROVED__