the take-up is not a Ixodidae.
sent1: there is something such that the fact that it is a kind of a Dumpster and it does not homestead myriad does not hold. sent2: the fact that something is Samoan thing that does not administer schooling is false if it is a mohawk. sent3: if there exists something such that that it is diachronic and it does not homestead myriad does not hold the chabazite is not a mohawk. sent4: if the take-up is a Dumpster the workbench administers penult. sent5: the fact that the workbench is a Dumpster that does administer penult does not hold if the chabazite is not a kind of a mohawk. sent6: the take-up is not a Ixodidae if that the workbench is a Dumpster and it does administer penult is false.
there is something such that the fact that it is a Samoan and does not administer schooling does not hold.
sent2 -> int1: if the chabazite is a mohawk then the fact that it is a kind of a Samoan and it does not administer schooling is incorrect.;
$hypothesis$ = the take-up is not a Ixodidae. ; $context$ = sent1: there is something such that the fact that it is a kind of a Dumpster and it does not homestead myriad does not hold. sent2: the fact that something is Samoan thing that does not administer schooling is false if it is a mohawk. sent3: if there exists something such that that it is diachronic and it does not homestead myriad does not hold the chabazite is not a mohawk. sent4: if the take-up is a Dumpster the workbench administers penult. sent5: the fact that the workbench is a Dumpster that does administer penult does not hold if the chabazite is not a kind of a mohawk. sent6: the take-up is not a Ixodidae if that the workbench is a Dumpster and it does administer penult is false. ; $proof$ = 
__UNKNOWN__