the autochthon is not a linsey-woolsey.
sent1: the ancient is follicular. sent2: if there exists something such that it does not cover obloquy the ancient is not isotonic and is not a summarization. sent3: if that the ancient is not a summarization is not incorrect then that the autochthon is isotonic thing that is not a kind of a linsey-woolsey does not hold. sent4: the ancient is not a linsey-woolsey and it is not isotonic if there exists something such that that it is not a summarization is not incorrect. sent5: there is something such that it is a summarization. sent6: the fact that the autochthon is not isotonic and it is not a summarization is wrong if the ancient is not a linsey-woolsey. sent7: the fact that the ancient is a linsey-woolsey and not a summarization is not correct if the autochthon is not isotonic. sent8: if the ancient is not a kind of a linsey-woolsey that the autochthon is not a summarization and not isotonic is wrong. sent9: if something is not a kind of a summarization the ancient is not isotonic and not a linsey-woolsey. sent10: that the autochthon is a linsey-woolsey and is not isotonic is not true if the ancient is not a summarization. sent11: there is something such that that it is isotonic hold. sent12: if there are non-isotonic things then the ancient is not a kind of a linsey-woolsey and is not a summarization. sent13: the autochthon is both not faucal and not lexicostatistic. sent14: that the autochthon is both not a summarization and a linsey-woolsey is wrong. sent15: the ancient is not a luxury and is not an institute. sent16: the fact that if the autochthon is not a kind of a summarization that the ancient is a kind of a linsey-woolsey that is not isotonic is incorrect is not wrong. sent17: the fact that the autochthon is not a summarization and not a linsey-woolsey is wrong if the ancient is not isotonic. sent18: if the autochthon is not a linsey-woolsey then the fact that the ancient is not isotonic and it is not a summarization is false. sent19: that the autochthon is a kind of a linsey-woolsey but it is not a summarization is wrong if the ancient is not isotonic. sent20: there is something such that it does not cover obloquy.
void -> assump1: Let's assume that the fact that the autochthon is not a kind of a linsey-woolsey is true.; sent18 & assump1 -> int1: the fact that the ancient is not isotonic and it is not a summarization does not hold.; sent20 & sent2 -> int2: the ancient is not isotonic and is not a kind of a summarization.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the autochthon is not a linsey-woolsey. ; $context$ = sent1: the ancient is follicular. sent2: if there exists something such that it does not cover obloquy the ancient is not isotonic and is not a summarization. sent3: if that the ancient is not a summarization is not incorrect then that the autochthon is isotonic thing that is not a kind of a linsey-woolsey does not hold. sent4: the ancient is not a linsey-woolsey and it is not isotonic if there exists something such that that it is not a summarization is not incorrect. sent5: there is something such that it is a summarization. sent6: the fact that the autochthon is not isotonic and it is not a summarization is wrong if the ancient is not a linsey-woolsey. sent7: the fact that the ancient is a linsey-woolsey and not a summarization is not correct if the autochthon is not isotonic. sent8: if the ancient is not a kind of a linsey-woolsey that the autochthon is not a summarization and not isotonic is wrong. sent9: if something is not a kind of a summarization the ancient is not isotonic and not a linsey-woolsey. sent10: that the autochthon is a linsey-woolsey and is not isotonic is not true if the ancient is not a summarization. sent11: there is something such that that it is isotonic hold. sent12: if there are non-isotonic things then the ancient is not a kind of a linsey-woolsey and is not a summarization. sent13: the autochthon is both not faucal and not lexicostatistic. sent14: that the autochthon is both not a summarization and a linsey-woolsey is wrong. sent15: the ancient is not a luxury and is not an institute. sent16: the fact that if the autochthon is not a kind of a summarization that the ancient is a kind of a linsey-woolsey that is not isotonic is incorrect is not wrong. sent17: the fact that the autochthon is not a summarization and not a linsey-woolsey is wrong if the ancient is not isotonic. sent18: if the autochthon is not a linsey-woolsey then the fact that the ancient is not isotonic and it is not a summarization is false. sent19: that the autochthon is a kind of a linsey-woolsey but it is not a summarization is wrong if the ancient is not isotonic. sent20: there is something such that it does not cover obloquy. ; $proof$ = 
void -> assump1: Let's assume that the fact that the autochthon is not a kind of a linsey-woolsey is true.; sent18 & assump1 -> int1: the fact that the ancient is not isotonic and it is not a summarization does not hold.; sent20 & sent2 -> int2: the ancient is not isotonic and is not a kind of a summarization.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__