the archpriest is a kind of a breve.
sent1: the egalitarian does not stow wiretap and does not embrown LP. sent2: if the egalitarian does not stow wiretap and does embrown LP the pocketknife unclothes rowing. sent3: something does not stow immunology and hurdles if it does not dump. sent4: if that the pocketknife does not embrown LP and it is not spatial does not hold then the Nganasan does embrown LP. sent5: something that does embrown LP stows wiretap. sent6: the Nganasan embrowns Oreortyx if the archpriest is a breve. sent7: if the egalitarian is not gastroduodenal then it does stow wiretap. sent8: the fact that the pocketknife does not embrown LP and is not spatial is incorrect. sent9: the pocketknife is not a kind of a dumps if that it is not gastroduodenal and does embrown Oreortyx is not true. sent10: that something either does not stow immunology or hurdles or both is false if it stows wiretap. sent11: if there exists something such that it does not unclothe rowing then the Nganasan is not gastroduodenal. sent12: if the egalitarian does not stow wiretap and does not embrown LP the pocketknife unclothes rowing. sent13: something is a kind of a breve if it does embrown Oreortyx. sent14: the egalitarian does not unclothe rowing. sent15: the pocketknife does not embrown LP if that it does not embrown Oreortyx and does hurdle does not hold. sent16: if the Nganasan embrowns Oreortyx that the pocketknife is not gastroduodenal but it embrowns Oreortyx is not correct. sent17: if that something does not stow immunology and/or it does hurdle is wrong then it is a kind of a dumps. sent18: something does not unclothe rowing if it does not stow immunology and it does hurdle.
void -> assump1: Let's assume that the archpriest is a breve.; sent6 & assump1 -> int1: the Nganasan embrowns Oreortyx.; int1 & sent16 -> int2: the fact that the pocketknife is not gastroduodenal and embrowns Oreortyx is false.; int2 & sent9 -> int3: the pocketknife does not dump.; sent3 -> int4: if the pocketknife is not a dumps then it does not stow immunology and it hurdles.; int3 & int4 -> int5: the pocketknife does not stow immunology and hurdles.; sent18 -> int6: if that the pocketknife does not stow immunology and hurdles hold then it does not unclothe rowing.; int5 & int6 -> int7: the pocketknife does not unclothe rowing.; sent12 & sent1 -> int8: the pocketknife unclothes rowing.; int7 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
the archpriest is a kind of a breve.
sent13 -> int10: if the archpriest does embrown Oreortyx then it is a breve.; sent14 -> int11: there is something such that it does not unclothe rowing.; int11 & sent11 -> int12: that the Nganasan is not gastroduodenal is not incorrect.; sent17 -> int13: if the fact that the Nganasan either does not stow immunology or is a hurdle or both is not true it is a dumps.; sent10 -> int14: if the Nganasan stows wiretap the fact that it either does not stow immunology or is a hurdle or both is not correct.; sent5 -> int15: if the Nganasan does embrown LP it stows wiretap.; sent4 & sent8 -> int16: the Nganasan embrowns LP.; int15 & int16 -> int17: the Nganasan does stow wiretap.; int14 & int17 -> int18: that the Nganasan does not stow immunology and/or it is a kind of a hurdle is wrong.; int13 & int18 -> int19: the Nganasan does dump.; int12 & int19 -> int20: the Nganasan is not gastroduodenal but a dumps.; int20 -> int21: there is something such that it is not gastroduodenal and it is a dumps.;
$hypothesis$ = the archpriest is a kind of a breve. ; $context$ = sent1: the egalitarian does not stow wiretap and does not embrown LP. sent2: if the egalitarian does not stow wiretap and does embrown LP the pocketknife unclothes rowing. sent3: something does not stow immunology and hurdles if it does not dump. sent4: if that the pocketknife does not embrown LP and it is not spatial does not hold then the Nganasan does embrown LP. sent5: something that does embrown LP stows wiretap. sent6: the Nganasan embrowns Oreortyx if the archpriest is a breve. sent7: if the egalitarian is not gastroduodenal then it does stow wiretap. sent8: the fact that the pocketknife does not embrown LP and is not spatial is incorrect. sent9: the pocketknife is not a kind of a dumps if that it is not gastroduodenal and does embrown Oreortyx is not true. sent10: that something either does not stow immunology or hurdles or both is false if it stows wiretap. sent11: if there exists something such that it does not unclothe rowing then the Nganasan is not gastroduodenal. sent12: if the egalitarian does not stow wiretap and does not embrown LP the pocketknife unclothes rowing. sent13: something is a kind of a breve if it does embrown Oreortyx. sent14: the egalitarian does not unclothe rowing. sent15: the pocketknife does not embrown LP if that it does not embrown Oreortyx and does hurdle does not hold. sent16: if the Nganasan embrowns Oreortyx that the pocketknife is not gastroduodenal but it embrowns Oreortyx is not correct. sent17: if that something does not stow immunology and/or it does hurdle is wrong then it is a kind of a dumps. sent18: something does not unclothe rowing if it does not stow immunology and it does hurdle. ; $proof$ = 
void -> assump1: Let's assume that the archpriest is a breve.; sent6 & assump1 -> int1: the Nganasan embrowns Oreortyx.; int1 & sent16 -> int2: the fact that the pocketknife is not gastroduodenal and embrowns Oreortyx is false.; int2 & sent9 -> int3: the pocketknife does not dump.; sent3 -> int4: if the pocketknife is not a dumps then it does not stow immunology and it hurdles.; int3 & int4 -> int5: the pocketknife does not stow immunology and hurdles.; sent18 -> int6: if that the pocketknife does not stow immunology and hurdles hold then it does not unclothe rowing.; int5 & int6 -> int7: the pocketknife does not unclothe rowing.; sent12 & sent1 -> int8: the pocketknife unclothes rowing.; int7 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __DISPROVED__