the topminnow assembles blackfly and does not refrain eta.
sent1: there is something such that it refrains exode. sent2: the blackfly does assemble blackfly. sent3: the blackfly is triumphal if it is a rhinotomy. sent4: the fact that the plug is both not a Inchon and a Charleston is false. sent5: if the chabazite does not refrain exode it does Charleston. sent6: that the topminnow assembles blackfly but it does not refrain eta is not wrong if the plug does not refrain eta. sent7: something does not refrain eta if it does Charleston. sent8: the topminnow does assemble blackfly. sent9: if something that does not refrain eta is a Inchon it does not Charleston. sent10: if the fact that that the chabazite refrains exode but it is not ovarian is not true hold then it Charlestons. sent11: the chabazite does refrain exode. sent12: if the chabazite is a kind of a Charleston then the fact that the plug is not a Inchon but it is a Charleston is not true. sent13: the fact that the plug does not refrain eta is not wrong if it Charlestons. sent14: the chabazite is a Charleston if it is a Inchon. sent15: if that the plug does not refrain eta is not incorrect then the topminnow assembles blackfly. sent16: if there is something such that it refrains exode and it is not ovarian the blackfly is not triumphal. sent17: there exists something such that it refrains exode and it is ovarian. sent18: the chimneystack is a rhinotomy if the blackfly is triumphal but it is not a rhinotomy. sent19: that something is not a Inchon is not false if the fact that it does not Charleston and it does not assemble blackfly does not hold. sent20: there are non-ovarian things. sent21: that that the plug is not a kind of a Inchon and it is not a Charleston is not correct is not false if the chabazite is a Charleston. sent22: the chabazite does refrain exode but it does not refrain eta. sent23: something does not refrain eta if that it is not a Inchon and it is not a kind of a Charleston does not hold. sent24: the blackfly is a rhinotomy. sent25: if the fact that something is not triumphal and/or is a Charleston is wrong then it does refrain eta.
void -> assump1: Let's assume that the chabazite refrains exode but it is not ovarian.; assump1 -> int1: there is something such that it refrains exode and is not ovarian.; int1 & sent16 -> int2: the blackfly is not triumphal.; sent3 & sent24 -> int3: the blackfly is triumphal.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the chabazite does refrain exode and is not ovarian is incorrect.; int5 & sent10 -> int6: the chabazite is a Charleston.; int6 & sent21 -> int7: that the plug is not a Inchon and not a Charleston is not right.; sent23 -> int8: the plug does not refrain eta if that it is not a Inchon and not a Charleston does not hold.; int7 & int8 -> int9: the plug does not refrain eta.; int9 & sent6 -> hypothesis;
the fact that the topminnow assembles blackfly and does not refrain eta does not hold.
sent25 -> int10: if the fact that the blackfly is not triumphal and/or Charlestons is not true it does refrain eta.;
$hypothesis$ = the topminnow assembles blackfly and does not refrain eta. ; $context$ = sent1: there is something such that it refrains exode. sent2: the blackfly does assemble blackfly. sent3: the blackfly is triumphal if it is a rhinotomy. sent4: the fact that the plug is both not a Inchon and a Charleston is false. sent5: if the chabazite does not refrain exode it does Charleston. sent6: that the topminnow assembles blackfly but it does not refrain eta is not wrong if the plug does not refrain eta. sent7: something does not refrain eta if it does Charleston. sent8: the topminnow does assemble blackfly. sent9: if something that does not refrain eta is a Inchon it does not Charleston. sent10: if the fact that that the chabazite refrains exode but it is not ovarian is not true hold then it Charlestons. sent11: the chabazite does refrain exode. sent12: if the chabazite is a kind of a Charleston then the fact that the plug is not a Inchon but it is a Charleston is not true. sent13: the fact that the plug does not refrain eta is not wrong if it Charlestons. sent14: the chabazite is a Charleston if it is a Inchon. sent15: if that the plug does not refrain eta is not incorrect then the topminnow assembles blackfly. sent16: if there is something such that it refrains exode and it is not ovarian the blackfly is not triumphal. sent17: there exists something such that it refrains exode and it is ovarian. sent18: the chimneystack is a rhinotomy if the blackfly is triumphal but it is not a rhinotomy. sent19: that something is not a Inchon is not false if the fact that it does not Charleston and it does not assemble blackfly does not hold. sent20: there are non-ovarian things. sent21: that that the plug is not a kind of a Inchon and it is not a Charleston is not correct is not false if the chabazite is a Charleston. sent22: the chabazite does refrain exode but it does not refrain eta. sent23: something does not refrain eta if that it is not a Inchon and it is not a kind of a Charleston does not hold. sent24: the blackfly is a rhinotomy. sent25: if the fact that something is not triumphal and/or is a Charleston is wrong then it does refrain eta. ; $proof$ = 
void -> assump1: Let's assume that the chabazite refrains exode but it is not ovarian.; assump1 -> int1: there is something such that it refrains exode and is not ovarian.; int1 & sent16 -> int2: the blackfly is not triumphal.; sent3 & sent24 -> int3: the blackfly is triumphal.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the chabazite does refrain exode and is not ovarian is incorrect.; int5 & sent10 -> int6: the chabazite is a Charleston.; int6 & sent21 -> int7: that the plug is not a Inchon and not a Charleston is not right.; sent23 -> int8: the plug does not refrain eta if that it is not a Inchon and not a Charleston does not hold.; int7 & int8 -> int9: the plug does not refrain eta.; int9 & sent6 -> hypothesis; __PROVED__