the bracteole does underlie.
sent1: there is something such that it is a kind of a subdirectory. sent2: something proceeds if it is not a typicality and is a nihilism. sent3: the polemicist is not a typicality and is a kind of a nihilism if that the tenterhook is not a nihilism is not false. sent4: if the shrimper does not labor chancroid that the declension is a sass and a Newtonian does not hold. sent5: the parathyroid does rear and it is a subdirectory. sent6: if there is something such that that it does sass and it is not non-Newtonian is incorrect the tenterhook is not a nihilism. sent7: if the polemicist proceeds the bracteole does underlie.
sent5 -> int1: something is a rear and it is a subdirectory.; sent2 -> int2: the polemicist does proceed if it is not a kind of a typicality and it is a nihilism.;
$hypothesis$ = the bracteole does underlie. ; $context$ = sent1: there is something such that it is a kind of a subdirectory. sent2: something proceeds if it is not a typicality and is a nihilism. sent3: the polemicist is not a typicality and is a kind of a nihilism if that the tenterhook is not a nihilism is not false. sent4: if the shrimper does not labor chancroid that the declension is a sass and a Newtonian does not hold. sent5: the parathyroid does rear and it is a subdirectory. sent6: if there is something such that that it does sass and it is not non-Newtonian is incorrect the tenterhook is not a nihilism. sent7: if the polemicist proceeds the bracteole does underlie. ; $proof$ = 
sent5 -> int1: something is a rear and it is a subdirectory.; sent2 -> int2: the polemicist does proceed if it is not a kind of a typicality and it is a nihilism.; __UNKNOWN__