the deposit is not lexicographic.
sent1: the braid is not non-onomastics if a non-tragic thing stokes deposit. sent2: if that either the cinnamon is microscopic or it cloisters Peirce or both is incorrect then it is not tragic. sent3: something that is not a flavone is a abridger and is lexicographic. sent4: the Appalachians does not foal. sent5: the feel is not onomastics if that the Appalachians is not onomastics is right. sent6: The deposit stokes cinnamon. sent7: something stokes deposit if the fact that it does not stokes deposit and is not tragic is not true. sent8: something is both Koranic and a composite. sent9: the fact that something is not artiodactyl and is a flavone is incorrect if it does not foal. sent10: if the feel is a abridger and it is lexicographic the deposit is not a abridger. sent11: the fricassee is not tragic if something that does not stoke deposit is onomastics. sent12: either the braid is lexicographic or it does stoke deposit or both if something stoke deposit. sent13: there is nothing such that it is microscopic and/or does cloister Peirce. sent14: something is not onomastics but it is a abridger if the fact that it is a flavone is not true. sent15: the cinnamon stokes deposit. sent16: the deposit is lexicographic if the fact that the braid is lexicographic hold. sent17: something is a kind of a blot and is a perfection. sent18: the deposit is not lexicographic if there exists something such that it is not non-onomastics or it is a abridger or both. sent19: the pepperwood is an artiodactyl. sent20: the pepperwood does foal. sent21: if the feel is not onomastics then the fact that it does not stoke deposit and is not tragic does not hold.
sent13 -> int1: the fact that the fact that either the cinnamon is microscopic or it does cloister Peirce or both is not right hold.; int1 & sent2 -> int2: the cinnamon is not tragic.; int2 & sent15 -> int3: the cinnamon is not tragic and does stoke deposit.; int3 -> int4: there is something such that it is a kind of non-tragic thing that does stoke deposit.; int4 & sent1 -> int5: the braid is onomastics.; int5 -> int6: the braid is onomastics and/or it is a kind of a abridger.; int6 -> int7: there is something such that it is onomastics or it is a abridger or both.; int7 & sent18 -> hypothesis;
the fricassee is not tragic.
sent3 -> int8: the feel is a kind of a abridger and it is lexicographic if it is not a flavone.; sent9 -> int9: if the Appalachians is not a foal the fact that it is not an artiodactyl and it is a flavone is incorrect.; int9 & sent4 -> int10: the fact that the Appalachians is not an artiodactyl and is a kind of a flavone is not true.; int10 -> int11: there exists something such that the fact that it is not a kind of an artiodactyl and it is a flavone does not hold.;
$hypothesis$ = the deposit is not lexicographic. ; $context$ = sent1: the braid is not non-onomastics if a non-tragic thing stokes deposit. sent2: if that either the cinnamon is microscopic or it cloisters Peirce or both is incorrect then it is not tragic. sent3: something that is not a flavone is a abridger and is lexicographic. sent4: the Appalachians does not foal. sent5: the feel is not onomastics if that the Appalachians is not onomastics is right. sent6: The deposit stokes cinnamon. sent7: something stokes deposit if the fact that it does not stokes deposit and is not tragic is not true. sent8: something is both Koranic and a composite. sent9: the fact that something is not artiodactyl and is a flavone is incorrect if it does not foal. sent10: if the feel is a abridger and it is lexicographic the deposit is not a abridger. sent11: the fricassee is not tragic if something that does not stoke deposit is onomastics. sent12: either the braid is lexicographic or it does stoke deposit or both if something stoke deposit. sent13: there is nothing such that it is microscopic and/or does cloister Peirce. sent14: something is not onomastics but it is a abridger if the fact that it is a flavone is not true. sent15: the cinnamon stokes deposit. sent16: the deposit is lexicographic if the fact that the braid is lexicographic hold. sent17: something is a kind of a blot and is a perfection. sent18: the deposit is not lexicographic if there exists something such that it is not non-onomastics or it is a abridger or both. sent19: the pepperwood is an artiodactyl. sent20: the pepperwood does foal. sent21: if the feel is not onomastics then the fact that it does not stoke deposit and is not tragic does not hold. ; $proof$ = 
sent13 -> int1: the fact that the fact that either the cinnamon is microscopic or it does cloister Peirce or both is not right hold.; int1 & sent2 -> int2: the cinnamon is not tragic.; int2 & sent15 -> int3: the cinnamon is not tragic and does stoke deposit.; int3 -> int4: there is something such that it is a kind of non-tragic thing that does stoke deposit.; int4 & sent1 -> int5: the braid is onomastics.; int5 -> int6: the braid is onomastics and/or it is a kind of a abridger.; int6 -> int7: there is something such that it is onomastics or it is a abridger or both.; int7 & sent18 -> hypothesis; __PROVED__