the fact that that the consumption is a kind of a cornsmut and is not an objective does not hold is correct.
sent1: if the consumption is an objective then it is not minty. sent2: the consumption does not keep. sent3: if something is subordinate that the easterner is a kind of minty thing that enfranchises gregarine is not wrong. sent4: if the fact that the consumption is not minty is not wrong the Westernization either is not a keep or is minty or both. sent5: the luciferin is a kind of a subordinate. sent6: the fact that the Westernization is a kind of a cornsmut and is not minty is not true. sent7: that the Westernization is not a kind of a keep and/or it is minty is wrong. sent8: the Westernization is not minty. sent9: the Westernization is not a kind of a cornsmut. sent10: the nabumetone is not etiological or is a kind of a cornsmut or both. sent11: if that the consumption does enfranchise nabumetone hold the Westernization is not integral and/or is a kind of a cornsmut. sent12: that either the Westernization is not objective or it is minty or both is wrong. sent13: the consumption is not objective and/or it is a kind of a keep. sent14: the fact that the Westernization is a kind of a keep and it enfranchises nabumetone is not right if there is something such that it is minty. sent15: the consumption is not a keep if that it is minty and it is not a kind of a cornsmut is not true. sent16: if that something is a keep and it does enfranchise nabumetone is not right then it does not enfranchise nabumetone. sent17: if the fact that the consumption is a cornsmut and is non-objective is not right then it is not minty. sent18: the fact that the consumption is a cornsmut and is a kind of an objective is not true.
void -> assump1: Let's assume that the fact that the consumption is a cornsmut but it is not a kind of an objective is false.; sent17 & assump1 -> int1: the consumption is not minty.; int1 & sent4 -> int2: the Westernization either is not a keep or is minty or both.; int2 & sent7 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the Westernization is not an integral or it is a cornsmut or both.
$hypothesis$ = the fact that that the consumption is a kind of a cornsmut and is not an objective does not hold is correct. ; $context$ = sent1: if the consumption is an objective then it is not minty. sent2: the consumption does not keep. sent3: if something is subordinate that the easterner is a kind of minty thing that enfranchises gregarine is not wrong. sent4: if the fact that the consumption is not minty is not wrong the Westernization either is not a keep or is minty or both. sent5: the luciferin is a kind of a subordinate. sent6: the fact that the Westernization is a kind of a cornsmut and is not minty is not true. sent7: that the Westernization is not a kind of a keep and/or it is minty is wrong. sent8: the Westernization is not minty. sent9: the Westernization is not a kind of a cornsmut. sent10: the nabumetone is not etiological or is a kind of a cornsmut or both. sent11: if that the consumption does enfranchise nabumetone hold the Westernization is not integral and/or is a kind of a cornsmut. sent12: that either the Westernization is not objective or it is minty or both is wrong. sent13: the consumption is not objective and/or it is a kind of a keep. sent14: the fact that the Westernization is a kind of a keep and it enfranchises nabumetone is not right if there is something such that it is minty. sent15: the consumption is not a keep if that it is minty and it is not a kind of a cornsmut is not true. sent16: if that something is a keep and it does enfranchise nabumetone is not right then it does not enfranchise nabumetone. sent17: if the fact that the consumption is a cornsmut and is non-objective is not right then it is not minty. sent18: the fact that the consumption is a cornsmut and is a kind of an objective is not true. ; $proof$ = 
void -> assump1: Let's assume that the fact that the consumption is a cornsmut but it is not a kind of an objective is false.; sent17 & assump1 -> int1: the consumption is not minty.; int1 & sent4 -> int2: the Westernization either is not a keep or is minty or both.; int2 & sent7 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__