the fact that the fact that the Brie bethinks pop-up but it is not nonspecific is false if the smew does not overrun Bunuel is not true.
sent1: if the axolemma is nonspecific then the smew is nonspecific. sent2: if something overruns Bunuel and it is nonspecific the sudorific is not a kind of a thymine. sent3: if the fact that the trichopteran does not stoke and it is not nocturnal is wrong then the gunrunner overruns Bunuel. sent4: the caudex is a kind of representational a Sanskrit if it does not damage digitalization. sent5: that the axolemma is not consubstantial hold. sent6: if the gunrunner overruns Bunuel the smew does overruns Bunuel. sent7: the fact that the Brie bethinks pop-up but it is not nonspecific does not hold if the axolemma is not nonspecific. sent8: the gunrunner is cheliceral or it is normal or both. sent9: the smew is nonspecific if the axolemma treats. sent10: the fact that everything is a charm but not sculptural is correct. sent11: the upright is dermatologic if the caudex is a kind of a Sanskrit. sent12: the fact that the gunrunner overruns Bunuel but it is not consubstantial is not true if the smew is a thymine. sent13: if the smew does not overrun Bunuel the gunrunner is not consubstantial and/or it is a thymine. sent14: the whinstone is not a Laramie but accipitrine. sent15: if the fact that the upright is dermatologic hold the fact that the trichopteran does not stoke and it is not nocturnal is not true. sent16: the axolemma is not nonspecific if the gunrunner is either not consubstantial or a thymine or both. sent17: if the Brie does overrun Bunuel that the gunrunner is a kind of a thymine but it is not nonspecific is incorrect. sent18: if the axolemma is not consubstantial then the gunrunner is not nonspecific. sent19: the axolemma is a treat or is nonspecific or both if the Brie does not bethink pop-up. sent20: the gunrunner does not overrun Bunuel if the smew is not consubstantial.
void -> assump1: Let's assume that the smew does not overrun Bunuel.; sent13 & assump1 -> int1: the gunrunner is not consubstantial or it is a kind of a thymine or both.; int1 & sent16 -> int2: the axolemma is not nonspecific.; int2 & sent7 -> int3: the fact that the Brie bethinks pop-up but it is not nonspecific does not hold.; [assump1] & int3 -> hypothesis;
the sudorific is not a thymine.
sent14 -> int4: something is not a Laramie but accipitrine.; sent10 -> int5: the deerskin is a kind of a charm that is not sculptural.; int5 -> int6: that something is a charm but not sculptural hold.;
$hypothesis$ = the fact that the fact that the Brie bethinks pop-up but it is not nonspecific is false if the smew does not overrun Bunuel is not true. ; $context$ = sent1: if the axolemma is nonspecific then the smew is nonspecific. sent2: if something overruns Bunuel and it is nonspecific the sudorific is not a kind of a thymine. sent3: if the fact that the trichopteran does not stoke and it is not nocturnal is wrong then the gunrunner overruns Bunuel. sent4: the caudex is a kind of representational a Sanskrit if it does not damage digitalization. sent5: that the axolemma is not consubstantial hold. sent6: if the gunrunner overruns Bunuel the smew does overruns Bunuel. sent7: the fact that the Brie bethinks pop-up but it is not nonspecific does not hold if the axolemma is not nonspecific. sent8: the gunrunner is cheliceral or it is normal or both. sent9: the smew is nonspecific if the axolemma treats. sent10: the fact that everything is a charm but not sculptural is correct. sent11: the upright is dermatologic if the caudex is a kind of a Sanskrit. sent12: the fact that the gunrunner overruns Bunuel but it is not consubstantial is not true if the smew is a thymine. sent13: if the smew does not overrun Bunuel the gunrunner is not consubstantial and/or it is a thymine. sent14: the whinstone is not a Laramie but accipitrine. sent15: if the fact that the upright is dermatologic hold the fact that the trichopteran does not stoke and it is not nocturnal is not true. sent16: the axolemma is not nonspecific if the gunrunner is either not consubstantial or a thymine or both. sent17: if the Brie does overrun Bunuel that the gunrunner is a kind of a thymine but it is not nonspecific is incorrect. sent18: if the axolemma is not consubstantial then the gunrunner is not nonspecific. sent19: the axolemma is a treat or is nonspecific or both if the Brie does not bethink pop-up. sent20: the gunrunner does not overrun Bunuel if the smew is not consubstantial. ; $proof$ = 
void -> assump1: Let's assume that the smew does not overrun Bunuel.; sent13 & assump1 -> int1: the gunrunner is not consubstantial or it is a kind of a thymine or both.; int1 & sent16 -> int2: the axolemma is not nonspecific.; int2 & sent7 -> int3: the fact that the Brie bethinks pop-up but it is not nonspecific does not hold.; [assump1] & int3 -> hypothesis; __DISPROVED__