there exists something such that that that it is a kind of a aragonite and it is not a rhododendron is correct does not hold.
sent1: if the upbraider does not dilapidate TNT then the fact that it is a kind of non-tensed thing that does not dilapidate fantasist does not hold. sent2: if the asterism does not smock subjectivity the fact that it is not a subnormality and it is not iridaceous is wrong. sent3: the fact that the burro is a rhododendron but it is not a kind of a tensed does not hold. sent4: the burro is auricular. sent5: that the burro is both not a subnormality and a rhododendron does not hold. sent6: something is phagocytic if that it is not a Smilax and is not a kind of a rhododendron does not hold. sent7: the burro is not a kind of a handclap. sent8: the fact that the burro is not a kind of a subnormality and it is not a Azerbaijani does not hold if it is not a kind of a handclap. sent9: there exists something such that the fact that it is a kind of a handclap and is auricular is false. sent10: there is something such that that it is toxic and it is ocular is incorrect. sent11: the burro does tense if the fact that it is not a subnormality and not Azerbaijani does not hold. sent12: the fact that the asterism is a Azerbaijani but it is not a aragonite is wrong if the burro does not tense. sent13: the trainman is not auricular. sent14: that the enclosure is not auricular is correct. sent15: the asterism is a kind of a Sennacherib. sent16: the fact that the burro is not a kind of an altruism is not wrong. sent17: the fact that the asterism is auricular but it is not homonymic does not hold. sent18: if something tenses then it does misdeal. sent19: that the burro is a kind of a misdeal and is not microeconomic is not correct. sent20: the souther is a pawl that is a kind of a Varuna. sent21: something is not auricular if it is a misdeal and it smocks mace. sent22: there is something such that the fact that it is a kind of totipotent thing that preempts is incorrect.
sent8 & sent7 -> int1: that the burro is not a subnormality and not Azerbaijani is wrong.; int1 & sent11 -> int2: the burro is tensed.; sent18 -> int3: the burro is a misdeal if it tenses.; int2 & int3 -> int4: the burro is a misdeal.; void -> assump1: Let's assume that the burro smocks mace.; int4 & assump1 -> int5: the burro is a misdeal and it smocks mace.; sent21 -> int6: the burro is not auricular if it is a misdeal that smocks mace.; int5 & int6 -> int7: the burro is not auricular.; int7 & sent4 -> int8: this is contradiction.; [assump1] & int8 -> int9: the burro does not smock mace.;
if that the bench is not a kind of a Smilax and is not a rhododendron is not right then it is phagocytic.
sent6 -> hypothesis;
$hypothesis$ = there exists something such that that that it is a kind of a aragonite and it is not a rhododendron is correct does not hold. ; $context$ = sent1: if the upbraider does not dilapidate TNT then the fact that it is a kind of non-tensed thing that does not dilapidate fantasist does not hold. sent2: if the asterism does not smock subjectivity the fact that it is not a subnormality and it is not iridaceous is wrong. sent3: the fact that the burro is a rhododendron but it is not a kind of a tensed does not hold. sent4: the burro is auricular. sent5: that the burro is both not a subnormality and a rhododendron does not hold. sent6: something is phagocytic if that it is not a Smilax and is not a kind of a rhododendron does not hold. sent7: the burro is not a kind of a handclap. sent8: the fact that the burro is not a kind of a subnormality and it is not a Azerbaijani does not hold if it is not a kind of a handclap. sent9: there exists something such that the fact that it is a kind of a handclap and is auricular is false. sent10: there is something such that that it is toxic and it is ocular is incorrect. sent11: the burro does tense if the fact that it is not a subnormality and not Azerbaijani does not hold. sent12: the fact that the asterism is a Azerbaijani but it is not a aragonite is wrong if the burro does not tense. sent13: the trainman is not auricular. sent14: that the enclosure is not auricular is correct. sent15: the asterism is a kind of a Sennacherib. sent16: the fact that the burro is not a kind of an altruism is not wrong. sent17: the fact that the asterism is auricular but it is not homonymic does not hold. sent18: if something tenses then it does misdeal. sent19: that the burro is a kind of a misdeal and is not microeconomic is not correct. sent20: the souther is a pawl that is a kind of a Varuna. sent21: something is not auricular if it is a misdeal and it smocks mace. sent22: there is something such that the fact that it is a kind of totipotent thing that preempts is incorrect. ; $proof$ = 
sent8 & sent7 -> int1: that the burro is not a subnormality and not Azerbaijani is wrong.; int1 & sent11 -> int2: the burro is tensed.; sent18 -> int3: the burro is a misdeal if it tenses.; int2 & int3 -> int4: the burro is a misdeal.; void -> assump1: Let's assume that the burro smocks mace.; int4 & assump1 -> int5: the burro is a misdeal and it smocks mace.; sent21 -> int6: the burro is not auricular if it is a misdeal that smocks mace.; int5 & int6 -> int7: the burro is not auricular.; int7 & sent4 -> int8: this is contradiction.; [assump1] & int8 -> int9: the burro does not smock mace.; __UNKNOWN__