either the harmattan is not a Florentine or it is not noninvasive or both.
sent1: the fact that the locule is jurisprudential and is not a kind of a disfranchisement does not hold. sent2: if that the fact that the Teuton is not autoradiographic and not a Cognac is incorrect is not incorrect then it is not a Florentine. sent3: if the unilateralist is a perpendicular then the fact that that the springbok either is a kind of a Dicranum or is non-autoradiographic or both hold is false. sent4: the fact that something is a kind of a homicide but it does not Simonize tarmacadam is false if it is jurisprudential. sent5: if something is a kind of a homicide then that it is not a kind of a Florentine and/or is not noninvasive does not hold. sent6: the fact that something is not jurisprudential and it is not a disfranchisement is incorrect if it is a homicide. sent7: that the locule is not jurisprudential but it is a disfranchisement is incorrect. sent8: if that the harmattan is not jurisprudential and it is not a kind of a perpendicular does not hold it is not noninvasive. sent9: if there is something such that that it is non-jurisprudential and it is not a disfranchisement is wrong then the ridley is a flabbiness. sent10: the harmattan is a kind of a flabbiness. sent11: either the ridley is not a homicide or it is not a flabbiness or both if the Teuton does not Simonize tarmacadam. sent12: if that something is not a perpendicular and is not nonastringent is not right it is perpendicular. sent13: the locule is a homicide that is a perpendicular. sent14: something is non-jurisprudential thing that is not a disfranchisement. sent15: the harmattan is not a kind of a Florentine or is noninvasive or both if that the Teuton is not a Florentine is true. sent16: if the locule is a homicide then that it is a kind of jurisprudential thing that is not a disfranchisement does not hold. sent17: the harmattan is a Florentine or not noninvasive or both. sent18: the harmattan is logistic and does tusk self-help. sent19: the Teuton does Simonize tarmacadam if the ridley is a flabbiness. sent20: if the locule is a perpendicular then the fact that it is not noninvasive and is a kind of a Florentine is not true. sent21: if that something is not a Cognac but it does Simonize tarmacadam is not right then it does not Simonize tarmacadam. sent22: the Teuton is autoradiographic if the fact that the fact that the springbok is a kind of a Dicranum and/or it is not autoradiographic is true does not hold. sent23: the Teuton is not a kind of a Florentine if it is a Cognac. sent24: the fact that the Teuton is both not autoradiographic and not a Cognac is wrong if it does Simonize tarmacadam.
sent6 -> int1: that the locule is not jurisprudential and not a disfranchisement is incorrect if it is a homicide.; sent13 -> int2: the locule is a homicide.; int1 & int2 -> int3: that the locule is not jurisprudential and not a disfranchisement does not hold.; int3 -> int4: there is something such that the fact that it is not jurisprudential and it is not a disfranchisement is not correct.; int4 & sent9 -> int5: the ridley is a kind of a flabbiness.; int5 & sent19 -> int6: the Teuton Simonizes tarmacadam.; int6 & sent24 -> int7: that the Teuton is not autoradiographic and it is not a Cognac is incorrect.; int7 & sent2 -> int8: the Teuton is not a Florentine.;
the fact that either the harmattan is not Florentine or it is not noninvasive or both is not true.
sent5 -> int9: that the harmattan is not Florentine and/or it is not noninvasive does not hold if it is a homicide.; sent21 -> int10: if that the Teuton is not a kind of a Cognac but it Simonizes tarmacadam is incorrect it does not Simonizes tarmacadam.; sent12 -> int11: if that that the unilateralist is not a perpendicular and is not nonastringent is correct is not right then that it is a perpendicular is not false.;
$hypothesis$ = either the harmattan is not a Florentine or it is not noninvasive or both. ; $context$ = sent1: the fact that the locule is jurisprudential and is not a kind of a disfranchisement does not hold. sent2: if that the fact that the Teuton is not autoradiographic and not a Cognac is incorrect is not incorrect then it is not a Florentine. sent3: if the unilateralist is a perpendicular then the fact that that the springbok either is a kind of a Dicranum or is non-autoradiographic or both hold is false. sent4: the fact that something is a kind of a homicide but it does not Simonize tarmacadam is false if it is jurisprudential. sent5: if something is a kind of a homicide then that it is not a kind of a Florentine and/or is not noninvasive does not hold. sent6: the fact that something is not jurisprudential and it is not a disfranchisement is incorrect if it is a homicide. sent7: that the locule is not jurisprudential but it is a disfranchisement is incorrect. sent8: if that the harmattan is not jurisprudential and it is not a kind of a perpendicular does not hold it is not noninvasive. sent9: if there is something such that that it is non-jurisprudential and it is not a disfranchisement is wrong then the ridley is a flabbiness. sent10: the harmattan is a kind of a flabbiness. sent11: either the ridley is not a homicide or it is not a flabbiness or both if the Teuton does not Simonize tarmacadam. sent12: if that something is not a perpendicular and is not nonastringent is not right it is perpendicular. sent13: the locule is a homicide that is a perpendicular. sent14: something is non-jurisprudential thing that is not a disfranchisement. sent15: the harmattan is not a kind of a Florentine or is noninvasive or both if that the Teuton is not a Florentine is true. sent16: if the locule is a homicide then that it is a kind of jurisprudential thing that is not a disfranchisement does not hold. sent17: the harmattan is a Florentine or not noninvasive or both. sent18: the harmattan is logistic and does tusk self-help. sent19: the Teuton does Simonize tarmacadam if the ridley is a flabbiness. sent20: if the locule is a perpendicular then the fact that it is not noninvasive and is a kind of a Florentine is not true. sent21: if that something is not a Cognac but it does Simonize tarmacadam is not right then it does not Simonize tarmacadam. sent22: the Teuton is autoradiographic if the fact that the fact that the springbok is a kind of a Dicranum and/or it is not autoradiographic is true does not hold. sent23: the Teuton is not a kind of a Florentine if it is a Cognac. sent24: the fact that the Teuton is both not autoradiographic and not a Cognac is wrong if it does Simonize tarmacadam. ; $proof$ = 
sent6 -> int1: that the locule is not jurisprudential and not a disfranchisement is incorrect if it is a homicide.; sent13 -> int2: the locule is a homicide.; int1 & int2 -> int3: that the locule is not jurisprudential and not a disfranchisement does not hold.; int3 -> int4: there is something such that the fact that it is not jurisprudential and it is not a disfranchisement is not correct.; int4 & sent9 -> int5: the ridley is a kind of a flabbiness.; int5 & sent19 -> int6: the Teuton Simonizes tarmacadam.; int6 & sent24 -> int7: that the Teuton is not autoradiographic and it is not a Cognac is incorrect.; int7 & sent2 -> int8: the Teuton is not a Florentine.; __UNKNOWN__