the face occurs.
sent1: if the timework and the self-pollination occurs then the face does not occur. sent2: the overbalancing occurs. sent3: that the tormenting icosahedron does not occur prevents that the onrush occurs. sent4: the sulcateness occurs. sent5: if the fact that the nontechnicalness happens is true then the bobbing scrawniness occurs. sent6: that the self-pollination does not occur is triggered by that the spoliation but not the facing happens. sent7: if the sulcateness occurs the altricialness happens. sent8: if the tormenting icosahedron does not occur the onrush does not occur and the spoliation does not occur. sent9: that the mistaking philatelist does not occur brings about either the nontechnicalness or the trooping whip or both. sent10: if the bobbing scrawniness occurs the mechanisticness occurs. sent11: the fairness does not occur if that the sentimentalization and the mistaking philatelist happens is wrong. sent12: the tormenting icosahedron does not occur if the fair or the mechanisticness or both occurs. sent13: that the sentimentalization does not occur and the neuropsychiatricness does not occur does not hold if the altricialness happens. sent14: the mistaking philatelist does not occur if that the sentimentalization does not occur and the neuropsychiatricness does not occur does not hold. sent15: the trooping Champlain happens. sent16: the tormenting icosahedron does not occur if not the fairing but the mechanisticness occurs. sent17: if that either the overbalancing does not occur or the timework occurs or both is incorrect then the mistaking frosting does not occur. sent18: that the overbalancing occurs prevents that the timework does not occur. sent19: the spoliation but not the facing occurs if the onrush does not occur. sent20: the self-pollination occurs.
sent18 & sent2 -> int1: the timework occurs.; int1 & sent20 -> int2: both the timework and the self-pollination happens.; int2 & sent1 -> hypothesis;
the facing occurs.
sent7 & sent4 -> int3: the altricialness occurs.; sent13 & int3 -> int4: that the sentimentalization does not occur and the neuropsychiatricness does not occur is not true.; sent14 & int4 -> int5: the mistaking philatelist does not occur.; sent9 & int5 -> int6: either the nontechnicalness or the trooping whip or both occurs.;
$hypothesis$ = the face occurs. ; $context$ = sent1: if the timework and the self-pollination occurs then the face does not occur. sent2: the overbalancing occurs. sent3: that the tormenting icosahedron does not occur prevents that the onrush occurs. sent4: the sulcateness occurs. sent5: if the fact that the nontechnicalness happens is true then the bobbing scrawniness occurs. sent6: that the self-pollination does not occur is triggered by that the spoliation but not the facing happens. sent7: if the sulcateness occurs the altricialness happens. sent8: if the tormenting icosahedron does not occur the onrush does not occur and the spoliation does not occur. sent9: that the mistaking philatelist does not occur brings about either the nontechnicalness or the trooping whip or both. sent10: if the bobbing scrawniness occurs the mechanisticness occurs. sent11: the fairness does not occur if that the sentimentalization and the mistaking philatelist happens is wrong. sent12: the tormenting icosahedron does not occur if the fair or the mechanisticness or both occurs. sent13: that the sentimentalization does not occur and the neuropsychiatricness does not occur does not hold if the altricialness happens. sent14: the mistaking philatelist does not occur if that the sentimentalization does not occur and the neuropsychiatricness does not occur does not hold. sent15: the trooping Champlain happens. sent16: the tormenting icosahedron does not occur if not the fairing but the mechanisticness occurs. sent17: if that either the overbalancing does not occur or the timework occurs or both is incorrect then the mistaking frosting does not occur. sent18: that the overbalancing occurs prevents that the timework does not occur. sent19: the spoliation but not the facing occurs if the onrush does not occur. sent20: the self-pollination occurs. ; $proof$ = 
sent18 & sent2 -> int1: the timework occurs.; int1 & sent20 -> int2: both the timework and the self-pollination happens.; int2 & sent1 -> hypothesis; __DISPROVED__