the fact that there is something such that if it is macroeconomic it is a kind of a welcoming and it is not Aramaic is false.
sent1: something is a welcoming but it is non-Aramaic if it is macroeconomic. sent2: if something is macroeconomic it is a kind of welcoming thing that is a Aramaic. sent3: something backstops but it does not expiate if it is unpredictable. sent4: there exists something such that if it is not non-macroeconomic then it is welcoming a Aramaic. sent5: a Martial is a drawl that does not flail. sent6: if the destroyer is Aramaic then it is a pasteboard and is not a Plato. sent7: there exists something such that if it is a bursar then it interferes Selma and is not a kind of a gloominess. sent8: there is something such that if it is macroeconomic then it welcomes. sent9: if the destroyer is macroeconomic it is welcoming a Aramaic. sent10: the fact that something is nonterritorial but it is not kinesthetic is not wrong if it is a voluntary. sent11: something that dwarfs matsyendra is a caldron that is not progressive. sent12: if the fact that the destroyer is macroeconomic is right then it is welcoming. sent13: something is a Catoptrophorus but it is not a whiplash if it is a kind of a kid. sent14: if the destroyer is a gloominess it is a holotype and is not a doubt. sent15: if that the hematochrome is a heat is not false then it welcomes and it does not uplift torture. sent16: that something that is immunological is a noncandidate and is not synchronous is not incorrect. sent17: if something is macroeconomic it is welcoming.
sent1 -> int1: if the destroyer is macroeconomic it is welcoming and is not a kind of a Aramaic.; int1 -> hypothesis;
there exists something such that if it is immunological it is a kind of a noncandidate that is not synchronous.
sent16 -> int2: the wreckfish is a kind of a noncandidate but it is not synchronous if that it is immunological is not incorrect.; int2 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it is macroeconomic it is a kind of a welcoming and it is not Aramaic is false. ; $context$ = sent1: something is a welcoming but it is non-Aramaic if it is macroeconomic. sent2: if something is macroeconomic it is a kind of welcoming thing that is a Aramaic. sent3: something backstops but it does not expiate if it is unpredictable. sent4: there exists something such that if it is not non-macroeconomic then it is welcoming a Aramaic. sent5: a Martial is a drawl that does not flail. sent6: if the destroyer is Aramaic then it is a pasteboard and is not a Plato. sent7: there exists something such that if it is a bursar then it interferes Selma and is not a kind of a gloominess. sent8: there is something such that if it is macroeconomic then it welcomes. sent9: if the destroyer is macroeconomic it is welcoming a Aramaic. sent10: the fact that something is nonterritorial but it is not kinesthetic is not wrong if it is a voluntary. sent11: something that dwarfs matsyendra is a caldron that is not progressive. sent12: if the fact that the destroyer is macroeconomic is right then it is welcoming. sent13: something is a Catoptrophorus but it is not a whiplash if it is a kind of a kid. sent14: if the destroyer is a gloominess it is a holotype and is not a doubt. sent15: if that the hematochrome is a heat is not false then it welcomes and it does not uplift torture. sent16: that something that is immunological is a noncandidate and is not synchronous is not incorrect. sent17: if something is macroeconomic it is welcoming. ; $proof$ = 
sent1 -> int1: if the destroyer is macroeconomic it is welcoming and is not a kind of a Aramaic.; int1 -> hypothesis; __DISPROVED__