the headpiece is not a kind of a julienne.
sent1: something that is not a kind of a cross-question is not thyrotoxic. sent2: if that something is not a kind of a Shavian and it is not a Humboldt is not true it is a kind of a Humboldt. sent3: if the Mississippian is not a Humboldt then that it is not a Karlfeldt and it does blind Mississippian hold. sent4: something that is a Humboldt juliennes. sent5: if something that is not a Shavian is not thyrotoxic the lining does restart poor. sent6: the arthrospore is not thyrotoxic. sent7: the Mississippian is not a kind of a Humboldt. sent8: something is Shavian and is not thyrotoxic. sent9: the fact that something is not a Shavian and is not thyrotoxic is true if it is not a cross-question. sent10: if the lining does restart poor the headpiece is not a julienne and does restart poor. sent11: the tortoiseshell is repeatable and not thyrotoxic.
sent3 & sent7 -> int1: the Mississippian is not a Karlfeldt but it does blind Mississippian.; sent9 -> int2: the arthrospore is not a kind of a Shavian and it is not thyrotoxic if it is not a kind of a cross-question.;
the headpiece is a kind of a julienne.
sent4 -> int3: the headpiece is a julienne if the fact that it is a kind of a Humboldt is not false.; sent2 -> int4: the headpiece is a kind of a Humboldt if the fact that it is not Shavian and not a Humboldt is wrong.;
$hypothesis$ = the headpiece is not a kind of a julienne. ; $context$ = sent1: something that is not a kind of a cross-question is not thyrotoxic. sent2: if that something is not a kind of a Shavian and it is not a Humboldt is not true it is a kind of a Humboldt. sent3: if the Mississippian is not a Humboldt then that it is not a Karlfeldt and it does blind Mississippian hold. sent4: something that is a Humboldt juliennes. sent5: if something that is not a Shavian is not thyrotoxic the lining does restart poor. sent6: the arthrospore is not thyrotoxic. sent7: the Mississippian is not a kind of a Humboldt. sent8: something is Shavian and is not thyrotoxic. sent9: the fact that something is not a Shavian and is not thyrotoxic is true if it is not a cross-question. sent10: if the lining does restart poor the headpiece is not a julienne and does restart poor. sent11: the tortoiseshell is repeatable and not thyrotoxic. ; $proof$ = 
sent3 & sent7 -> int1: the Mississippian is not a Karlfeldt but it does blind Mississippian.; sent9 -> int2: the arthrospore is not a kind of a Shavian and it is not thyrotoxic if it is not a kind of a cross-question.; __UNKNOWN__