the exon is not a ornateness.
sent1: if something that is not a netting is not a NT the CD-ROM does not rasp. sent2: the howdah is not an antiquity. sent3: the moneymaker is not a kind of a NT and it is not a carnival. sent4: if the howdah is not an antiquity then the fact that it is not a kind of an envy and is not a mucin does not hold. sent5: the moneymaker is not a ornateness if there exists something such that that it does consociate and is not a carnival is not false. sent6: the stitchwort is a kind of a carnival. sent7: the brassavola does consociate and is not a kind of a carnival if the CD-ROM does mismanage cross-reference. sent8: the moneymaker is not a rasp and it is not a carnival. sent9: the CD-ROM rasps. sent10: if the moneymaker is a carnival and/or it does not consociate then the exon is a ornateness. sent11: if the exotherm does not organize Electrophorus then it is not a carnival. sent12: the moneymaker does freckle sheatfish if the infusion does wallop. sent13: the CD-ROM mismanages cross-reference if the moneymaker does freckle sheatfish. sent14: if there exists something such that that it is not an envy and it is not a mucin does not hold the infusion is a chute-the-chute. sent15: if something is a chute-the-chute then that it is a wallop is not wrong. sent16: that the exon is a NT hold. sent17: the moneymaker does organize Electrophorus. sent18: either the moneymaker is a carnival or it does not consociate or both if that the exotherm is not a kind of a carnival is not false. sent19: if the brassavola does not freckle sheatfish then it consociates and/or does not mismanage cross-reference. sent20: the brassavola does not net and is not a NT if the exotherm does organize Electrophorus. sent21: if the exotherm is a kind of a NT then the brassavola is both not a carnival and not netting.
void -> assump1: Let's assume that the exotherm does organize Electrophorus.; sent20 & assump1 -> int1: the brassavola is not netting and it is not a kind of a NT.; int1 -> int2: there exists something such that it is not a kind of a netting and it is not a NT.; int2 & sent1 -> int3: the CD-ROM is not a rasp.; int3 & sent9 -> int4: this is contradiction.; [assump1] & int4 -> int5: the exotherm does not organize Electrophorus.; int5 & sent11 -> int6: the exotherm is not a carnival.; int6 & sent18 -> int7: either the moneymaker is a carnival or it does not consociate or both.; int7 & sent10 -> hypothesis;
the exon is not a ornateness.
sent15 -> int8: that the infusion does wallop is not false if it is a kind of a chute-the-chute.; sent4 & sent2 -> int9: that the fact that the howdah is not an envy and not a mucin is right is not right.; int9 -> int10: there is something such that the fact that it is not an envy and not a mucin does not hold.; int10 & sent14 -> int11: the infusion is a chute-the-chute.; int8 & int11 -> int12: that the infusion is a wallop hold.; sent12 & int12 -> int13: the moneymaker does freckle sheatfish.; sent13 & int13 -> int14: the CD-ROM does mismanage cross-reference.; sent7 & int14 -> int15: the brassavola does consociate but it is not a carnival.; int15 -> int16: the brassavola is not a carnival.; int16 -> int17: there exists something such that it is not a carnival.;
$hypothesis$ = the exon is not a ornateness. ; $context$ = sent1: if something that is not a netting is not a NT the CD-ROM does not rasp. sent2: the howdah is not an antiquity. sent3: the moneymaker is not a kind of a NT and it is not a carnival. sent4: if the howdah is not an antiquity then the fact that it is not a kind of an envy and is not a mucin does not hold. sent5: the moneymaker is not a ornateness if there exists something such that that it does consociate and is not a carnival is not false. sent6: the stitchwort is a kind of a carnival. sent7: the brassavola does consociate and is not a kind of a carnival if the CD-ROM does mismanage cross-reference. sent8: the moneymaker is not a rasp and it is not a carnival. sent9: the CD-ROM rasps. sent10: if the moneymaker is a carnival and/or it does not consociate then the exon is a ornateness. sent11: if the exotherm does not organize Electrophorus then it is not a carnival. sent12: the moneymaker does freckle sheatfish if the infusion does wallop. sent13: the CD-ROM mismanages cross-reference if the moneymaker does freckle sheatfish. sent14: if there exists something such that that it is not an envy and it is not a mucin does not hold the infusion is a chute-the-chute. sent15: if something is a chute-the-chute then that it is a wallop is not wrong. sent16: that the exon is a NT hold. sent17: the moneymaker does organize Electrophorus. sent18: either the moneymaker is a carnival or it does not consociate or both if that the exotherm is not a kind of a carnival is not false. sent19: if the brassavola does not freckle sheatfish then it consociates and/or does not mismanage cross-reference. sent20: the brassavola does not net and is not a NT if the exotherm does organize Electrophorus. sent21: if the exotherm is a kind of a NT then the brassavola is both not a carnival and not netting. ; $proof$ = 
void -> assump1: Let's assume that the exotherm does organize Electrophorus.; sent20 & assump1 -> int1: the brassavola is not netting and it is not a kind of a NT.; int1 -> int2: there exists something such that it is not a kind of a netting and it is not a NT.; int2 & sent1 -> int3: the CD-ROM is not a rasp.; int3 & sent9 -> int4: this is contradiction.; [assump1] & int4 -> int5: the exotherm does not organize Electrophorus.; int5 & sent11 -> int6: the exotherm is not a carnival.; int6 & sent18 -> int7: either the moneymaker is a carnival or it does not consociate or both.; int7 & sent10 -> hypothesis; __DISPROVED__