the stomping occurs.
sent1: if the fact that the ablation happens is right that the fox does not occur and the staging fibrosity does not occur does not hold. sent2: if the fact that the eviscerating plowboy does not occur is right both the stomp and the non-residuaryness happens. sent3: the residuariness does not occur if the eviscerating plowboy does not occur. sent4: the residuariness is prevented by that the eviscerating liter and the eviscerating attention happens. sent5: that the ablation does not occur is prevented by that the legs happens. sent6: the sloganeering does not occur if the fact that the foxing does not occur and the staging fibrosity does not occur does not hold. sent7: the eviscerating liter happens and the randomness occurs if the sloganeering does not occur. sent8: the eviscerating liter occurs. sent9: the residuariness does not occur. sent10: that either the eviscerating attention occurs or the eviscerating liter does not occur or both is not right. sent11: the clustering does not occur if the prescription happens. sent12: the clustering happens if the fact that either the eviscerating attention happens or the eviscerating liter does not occur or both is false. sent13: the broadening occurs if that the prescription happens or the ramification does not occur or both is not true. sent14: that not the clustering but the broadening occurs prevents that the stomping occurs. sent15: that the battening occurs and/or the bilabialness brings about that the ischemicness does not occur. sent16: that the obligationalness does not occur and/or the eviscerating attention occurs yields that the eviscerating attention happens. sent17: the legs happens. sent18: the clustering does not occur if the prescriptionness happens and/or the ramification does not occur. sent19: the prescription does not occur. sent20: that the sink happens leads to that not the clustering but the broadening occurs. sent21: the clustering happens if the fact that the eviscerating attention happens and/or the eviscerating liter occurs is false.
void -> assump1: Let's assume that the prescriptionness happens and/or the ramification does not occur.; sent18 & assump1 -> int1: the clustering does not occur.; sent12 & sent10 -> int2: the clustering occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the prescriptionness happens or the ramification does not occur or both is wrong.; int4 & sent13 -> int5: the broadening occurs.; int5 -> int6: the sinking happens or the broadening occurs or both.;
the stomping does not occur.
sent5 & sent17 -> int7: that the ablation happens is right.; sent1 & int7 -> int8: that the fox does not occur and the staging fibrosity does not occur is incorrect.; sent6 & int8 -> int9: the sloganeering does not occur.; sent7 & int9 -> int10: both the eviscerating liter and the randomness occurs.; int10 -> int11: the eviscerating liter occurs.;
$hypothesis$ = the stomping occurs. ; $context$ = sent1: if the fact that the ablation happens is right that the fox does not occur and the staging fibrosity does not occur does not hold. sent2: if the fact that the eviscerating plowboy does not occur is right both the stomp and the non-residuaryness happens. sent3: the residuariness does not occur if the eviscerating plowboy does not occur. sent4: the residuariness is prevented by that the eviscerating liter and the eviscerating attention happens. sent5: that the ablation does not occur is prevented by that the legs happens. sent6: the sloganeering does not occur if the fact that the foxing does not occur and the staging fibrosity does not occur does not hold. sent7: the eviscerating liter happens and the randomness occurs if the sloganeering does not occur. sent8: the eviscerating liter occurs. sent9: the residuariness does not occur. sent10: that either the eviscerating attention occurs or the eviscerating liter does not occur or both is not right. sent11: the clustering does not occur if the prescription happens. sent12: the clustering happens if the fact that either the eviscerating attention happens or the eviscerating liter does not occur or both is false. sent13: the broadening occurs if that the prescription happens or the ramification does not occur or both is not true. sent14: that not the clustering but the broadening occurs prevents that the stomping occurs. sent15: that the battening occurs and/or the bilabialness brings about that the ischemicness does not occur. sent16: that the obligationalness does not occur and/or the eviscerating attention occurs yields that the eviscerating attention happens. sent17: the legs happens. sent18: the clustering does not occur if the prescriptionness happens and/or the ramification does not occur. sent19: the prescription does not occur. sent20: that the sink happens leads to that not the clustering but the broadening occurs. sent21: the clustering happens if the fact that the eviscerating attention happens and/or the eviscerating liter occurs is false. ; $proof$ = 
void -> assump1: Let's assume that the prescriptionness happens and/or the ramification does not occur.; sent18 & assump1 -> int1: the clustering does not occur.; sent12 & sent10 -> int2: the clustering occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the prescriptionness happens or the ramification does not occur or both is wrong.; int4 & sent13 -> int5: the broadening occurs.; int5 -> int6: the sinking happens or the broadening occurs or both.; __UNKNOWN__