that the asparaginase investigates dichotomization is not incorrect.
sent1: that the asparaginase is both a rat-catcher and a rendition does not hold if the gal does not investigate dichotomization. sent2: if that the azote investigates counterproposal and is a Iberian is wrong the miniature does not investigates counterproposal. sent3: if that the miniature is non-interstate is right the item is not a heartrot. sent4: something is not an interstate if it does not investigate counterproposal. sent5: the brain does not sparkle bohemianism if that it is not dispensable and not branchless is incorrect. sent6: the fact that the azote investigates counterproposal and it is a kind of a Iberian is not right if there exists something such that it does not sparkle bohemianism. sent7: the fact that something is not dispensable and not branchless is incorrect if it is not diatonic. sent8: if the fact that the asparaginase does not investigate dichotomization is not wrong that it is endocentric and it is pilar does not hold. sent9: the gal does not compact allegretto if there is something such that that the fact that it is both endocentric and pilar hold is not true. sent10: if the gal does not compact allegretto the fact that it is pilar and endocentric is wrong. sent11: something compacts allegretto if it is monistic. sent12: if the item compacts allegretto then the gal does not investigate dichotomization. sent13: the gal is monistic. sent14: everything is not diatonic.
void -> assump1: Let's assume that that the asparaginase does not investigate dichotomization is not false.; sent8 & assump1 -> int1: the fact that the asparaginase is endocentric and is pilar is not correct.; int1 -> int2: there is something such that the fact that it is not non-endocentric and not non-pilar does not hold.; int2 & sent9 -> int3: the gal does not compact allegretto.; sent11 -> int4: the gal compacts allegretto if it is monistic.; int4 & sent13 -> int5: the gal compacts allegretto.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
there is something such that the fact that it is a kind of a rat-catcher and it is a rendition does not hold.
sent7 -> int7: if the heir is not diatonic that it is both not dispensable and not branchless is incorrect.; sent14 -> int8: the heir is not diatonic.; int7 & int8 -> int9: that the heir is not dispensable and it is not branchless does not hold.; int9 -> int10: there is nothing such that it is not dispensable and not branchless.; int10 -> int11: the fact that the brain is both not dispensable and branchy is not true.; int11 & sent5 -> int12: the brain does not sparkle bohemianism.; int12 -> int13: there is something such that it does not sparkle bohemianism.; int13 & sent6 -> int14: that the azote does investigate counterproposal and is Iberian is false.; int14 & sent2 -> int15: that the miniature does not investigate counterproposal is true.; sent4 -> int16: the miniature is non-interstate if it does not investigate counterproposal.; int15 & int16 -> int17: that the miniature is not an interstate hold.; int17 & sent3 -> int18: the item is not a heartrot.;
$hypothesis$ = that the asparaginase investigates dichotomization is not incorrect. ; $context$ = sent1: that the asparaginase is both a rat-catcher and a rendition does not hold if the gal does not investigate dichotomization. sent2: if that the azote investigates counterproposal and is a Iberian is wrong the miniature does not investigates counterproposal. sent3: if that the miniature is non-interstate is right the item is not a heartrot. sent4: something is not an interstate if it does not investigate counterproposal. sent5: the brain does not sparkle bohemianism if that it is not dispensable and not branchless is incorrect. sent6: the fact that the azote investigates counterproposal and it is a kind of a Iberian is not right if there exists something such that it does not sparkle bohemianism. sent7: the fact that something is not dispensable and not branchless is incorrect if it is not diatonic. sent8: if the fact that the asparaginase does not investigate dichotomization is not wrong that it is endocentric and it is pilar does not hold. sent9: the gal does not compact allegretto if there is something such that that the fact that it is both endocentric and pilar hold is not true. sent10: if the gal does not compact allegretto the fact that it is pilar and endocentric is wrong. sent11: something compacts allegretto if it is monistic. sent12: if the item compacts allegretto then the gal does not investigate dichotomization. sent13: the gal is monistic. sent14: everything is not diatonic. ; $proof$ = 
void -> assump1: Let's assume that that the asparaginase does not investigate dichotomization is not false.; sent8 & assump1 -> int1: the fact that the asparaginase is endocentric and is pilar is not correct.; int1 -> int2: there is something such that the fact that it is not non-endocentric and not non-pilar does not hold.; int2 & sent9 -> int3: the gal does not compact allegretto.; sent11 -> int4: the gal compacts allegretto if it is monistic.; int4 & sent13 -> int5: the gal compacts allegretto.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __PROVED__