the bromoform does administer Tito.
sent1: the lodestar is a kind of a Thursday. sent2: the bromoform does homestead zoom. sent3: the lodestar is passable. sent4: if the lodestar is not a schorl then the nothosaur is not impassable but a Thursday. sent5: if that there is something such that it is not a kind of a schorl hold the bromoform administers Tito and it does homestead zoom.
sent1 & sent3 -> int1: the lodestar is a Thursday and it is passable.;
the nothosaur is passable.
$hypothesis$ = the bromoform does administer Tito. ; $context$ = sent1: the lodestar is a kind of a Thursday. sent2: the bromoform does homestead zoom. sent3: the lodestar is passable. sent4: if the lodestar is not a schorl then the nothosaur is not impassable but a Thursday. sent5: if that there is something such that it is not a kind of a schorl hold the bromoform administers Tito and it does homestead zoom. ; $proof$ = 
sent1 & sent3 -> int1: the lodestar is a Thursday and it is passable.; __UNKNOWN__