the Nigerian is a Oceanic and a tribute.
sent1: if the Nigerian is not distant or it is sporadic or both then it is not a tribute. sent2: if a non-indispensable thing is nasopharyngeal then it is distant. sent3: the fact that the brassiere is not a kind of a Lithuanian is right. sent4: if there is something such that it is nasopharyngeal that the myrtle is not nasopharyngeal and does not tinsel fruiting is not correct. sent5: that something is a Oceanic and a tribute is incorrect if it is not a footballer. sent6: that the Nigerian is both not nasopharyngeal and not a tribute is not correct if it is sporadic. sent7: the fact that the napkin is non-indispensable a Oceanic is not true. sent8: if that the brassiere is a Oceanic is true the fact that it is not a footballer and it is not chelicerous is not right. sent9: the fact that the Nigerian is not sporadic and it is not an estrogen is not right if it is Lithuanian. sent10: if the Nigerian is not indispensable or it is sporadic or both then it is not distant. sent11: if the fact that something is not nasopharyngeal hold the fact that it is a footballer and it is a kind of a Lithuanian is incorrect. sent12: if that the Nigerian is not sporadic and not an estrogen does not hold then the brassiere is not distant. sent13: if something that is not a Oceanic is chelicerous then it is an estrogen. sent14: there is something such that it is not a footballer and/or it is indispensable. sent15: the brassiere is a tribute. sent16: if that the napkin is not indispensable but it is a Oceanic is not true then the brassiere is a Oceanic. sent17: the Nigerian is not adsorbable but it is a kind of an oxide. sent18: if the Nigerian is not Lithuanian or it is chelicerous or both it is not a footballer. sent19: the brassiere is not indispensable. sent20: the brassiere is nasopharyngeal. sent21: the fact that the Nigerian is a kind of a footballer but it is not distant is incorrect.
void -> assump1: Let's assume that the Nigerian is a kind of a Lithuanian.; sent9 & assump1 -> int1: the fact that that the Nigerian is non-sporadic and is not an estrogen is not correct hold.; int1 & sent12 -> int2: the fact that the brassiere is not distant is not incorrect.; sent2 -> int3: if the brassiere is a kind of non-indispensable thing that is nasopharyngeal then it is distant.; sent19 & sent20 -> int4: the brassiere is not indispensable but it is nasopharyngeal.; int3 & int4 -> int5: the brassiere is distant.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the Nigerian is not a kind of a Lithuanian.; int7 -> int8: the Nigerian is not Lithuanian or it is chelicerous or both.; int8 & sent18 -> int9: the Nigerian is not a kind of a footballer.; sent5 -> int10: the fact that the Nigerian is both a Oceanic and a tribute is wrong if it is not a footballer.; int9 & int10 -> hypothesis;
that that the myrtle is not nasopharyngeal and it does not tinsel fruiting hold does not hold.
sent16 & sent7 -> int11: the brassiere is a Oceanic.; sent8 & int11 -> int12: that the brassiere is not a footballer and not chelicerous does not hold.; int12 -> int13: there is something such that that it is not a footballer and it is not chelicerous is not true.;
$hypothesis$ = the Nigerian is a Oceanic and a tribute. ; $context$ = sent1: if the Nigerian is not distant or it is sporadic or both then it is not a tribute. sent2: if a non-indispensable thing is nasopharyngeal then it is distant. sent3: the fact that the brassiere is not a kind of a Lithuanian is right. sent4: if there is something such that it is nasopharyngeal that the myrtle is not nasopharyngeal and does not tinsel fruiting is not correct. sent5: that something is a Oceanic and a tribute is incorrect if it is not a footballer. sent6: that the Nigerian is both not nasopharyngeal and not a tribute is not correct if it is sporadic. sent7: the fact that the napkin is non-indispensable a Oceanic is not true. sent8: if that the brassiere is a Oceanic is true the fact that it is not a footballer and it is not chelicerous is not right. sent9: the fact that the Nigerian is not sporadic and it is not an estrogen is not right if it is Lithuanian. sent10: if the Nigerian is not indispensable or it is sporadic or both then it is not distant. sent11: if the fact that something is not nasopharyngeal hold the fact that it is a footballer and it is a kind of a Lithuanian is incorrect. sent12: if that the Nigerian is not sporadic and not an estrogen does not hold then the brassiere is not distant. sent13: if something that is not a Oceanic is chelicerous then it is an estrogen. sent14: there is something such that it is not a footballer and/or it is indispensable. sent15: the brassiere is a tribute. sent16: if that the napkin is not indispensable but it is a Oceanic is not true then the brassiere is a Oceanic. sent17: the Nigerian is not adsorbable but it is a kind of an oxide. sent18: if the Nigerian is not Lithuanian or it is chelicerous or both it is not a footballer. sent19: the brassiere is not indispensable. sent20: the brassiere is nasopharyngeal. sent21: the fact that the Nigerian is a kind of a footballer but it is not distant is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the Nigerian is a kind of a Lithuanian.; sent9 & assump1 -> int1: the fact that that the Nigerian is non-sporadic and is not an estrogen is not correct hold.; int1 & sent12 -> int2: the fact that the brassiere is not distant is not incorrect.; sent2 -> int3: if the brassiere is a kind of non-indispensable thing that is nasopharyngeal then it is distant.; sent19 & sent20 -> int4: the brassiere is not indispensable but it is nasopharyngeal.; int3 & int4 -> int5: the brassiere is distant.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the Nigerian is not a kind of a Lithuanian.; int7 -> int8: the Nigerian is not Lithuanian or it is chelicerous or both.; int8 & sent18 -> int9: the Nigerian is not a kind of a footballer.; sent5 -> int10: the fact that the Nigerian is both a Oceanic and a tribute is wrong if it is not a footballer.; int9 & int10 -> hypothesis; __DISPROVED__