the hurdles is a parathormone.
sent1: something does index if either it is not a pretzel or it does index or both. sent2: the rigger is a kind of a pretzel. sent3: if something soldiers tripper it is not a kind of a pretzel and/or is an index. sent4: the absorber is a kind of a Vespasian. sent5: the absorber is a pretzel. sent6: the punster is an index. sent7: if something is a pretzel and an index the hurdles is a parathormone. sent8: the dropout is isomorphous thing that soldiers tripper. sent9: there is something such that it is tibial.
the Schoolman is an index.
sent1 -> int1: if the Schoolman is not a pretzel or is a kind of an index or both it is an index.;
$hypothesis$ = the hurdles is a parathormone. ; $context$ = sent1: something does index if either it is not a pretzel or it does index or both. sent2: the rigger is a kind of a pretzel. sent3: if something soldiers tripper it is not a kind of a pretzel and/or is an index. sent4: the absorber is a kind of a Vespasian. sent5: the absorber is a pretzel. sent6: the punster is an index. sent7: if something is a pretzel and an index the hurdles is a parathormone. sent8: the dropout is isomorphous thing that soldiers tripper. sent9: there is something such that it is tibial. ; $proof$ = 
__UNKNOWN__