the considering occurs.
sent1: the aliveness prevents that the atypicalness does not occur. sent2: the considering is caused by the interpretation. sent3: the popping and the urticating Varanus occurs. sent4: the fact that the Aristotelianness occurs hold if the maladroitness occurs. sent5: the surrounding occurs. sent6: the jarring tangle and the nonprehensileness happens. sent7: both the inhospitableness and the humming occurs. sent8: the interpretation and the weightiness occurs. sent9: the means prevents that the annotating does not occur. sent10: the rejection occurs. sent11: the segmenting happens. sent12: that the Zoroastrian happens is not incorrect. sent13: the headmastership happens. sent14: the fact that the jarring glop happens hold. sent15: if the surrounding happens the jarring Phalaenoptilus occurs. sent16: the Ionicness occurs. sent17: that the androgynousness occurs is not incorrect if the evaporating happens. sent18: the urticating Varanus and the portrayal happens. sent19: the diclinousness occurs.
sent8 -> int1: the interpretation occurs.; int1 & sent2 -> hypothesis;
$hypothesis$ = the considering occurs. ; $context$ = sent1: the aliveness prevents that the atypicalness does not occur. sent2: the considering is caused by the interpretation. sent3: the popping and the urticating Varanus occurs. sent4: the fact that the Aristotelianness occurs hold if the maladroitness occurs. sent5: the surrounding occurs. sent6: the jarring tangle and the nonprehensileness happens. sent7: both the inhospitableness and the humming occurs. sent8: the interpretation and the weightiness occurs. sent9: the means prevents that the annotating does not occur. sent10: the rejection occurs. sent11: the segmenting happens. sent12: that the Zoroastrian happens is not incorrect. sent13: the headmastership happens. sent14: the fact that the jarring glop happens hold. sent15: if the surrounding happens the jarring Phalaenoptilus occurs. sent16: the Ionicness occurs. sent17: that the androgynousness occurs is not incorrect if the evaporating happens. sent18: the urticating Varanus and the portrayal happens. sent19: the diclinousness occurs. ; $proof$ = 
sent8 -> int1: the interpretation occurs.; int1 & sent2 -> hypothesis; __PROVED__