the shoring does not occur.
sent1: that the reserve happens is prevented by that the pricing tribute does not occur. sent2: if the exhibit does not occur that the gapping does not occur and the pricing symbolatry does not occur is not true. sent3: the pricing symbolatry does not occur. sent4: if not the reserve but the pricing tribute occurs then the fumbling happens. sent5: that the indelicateness does not occur causes that both the shoring and the fuss happens. sent6: that the reserve does not occur but the pricing tribute happens is triggered by the pricing symbolatry. sent7: if the fact that the gap does not occur and the pricing symbolatry does not occur is not right then the pricing symbolatry happens. sent8: if the reserve does not occur and the fumbling does not occur the agglomerating happens. sent9: the fact that the pricing tribute does not occur is not false. sent10: the legislativeness does not occur if the state occurs but the opportuneness does not occur. sent11: if that the mobilization and/or the class happens is false the fact that the exhibiting does not occur is correct. sent12: if the legislativeness does not occur the fact that the mobilization and/or the class occurs is not correct. sent13: the fussing happens. sent14: the fumble does not occur and the pricing symbolatry does not occur. sent15: the fuss occurs and the indelicateness occurs.
sent15 -> int1: the indelicateness happens.; void -> assump1: Let's assume that the shoring occurs.; int1 & assump1 -> int2: the shoring and the indelicateness occurs.; sent1 & sent9 -> int3: the reserve does not occur.; sent14 -> int4: the fumbling does not occur.; int3 & int4 -> int5: the reserving does not occur and the fumble does not occur.; sent8 & int5 -> int6: the agglomerating happens.;
the shoring happens.
$hypothesis$ = the shoring does not occur. ; $context$ = sent1: that the reserve happens is prevented by that the pricing tribute does not occur. sent2: if the exhibit does not occur that the gapping does not occur and the pricing symbolatry does not occur is not true. sent3: the pricing symbolatry does not occur. sent4: if not the reserve but the pricing tribute occurs then the fumbling happens. sent5: that the indelicateness does not occur causes that both the shoring and the fuss happens. sent6: that the reserve does not occur but the pricing tribute happens is triggered by the pricing symbolatry. sent7: if the fact that the gap does not occur and the pricing symbolatry does not occur is not right then the pricing symbolatry happens. sent8: if the reserve does not occur and the fumbling does not occur the agglomerating happens. sent9: the fact that the pricing tribute does not occur is not false. sent10: the legislativeness does not occur if the state occurs but the opportuneness does not occur. sent11: if that the mobilization and/or the class happens is false the fact that the exhibiting does not occur is correct. sent12: if the legislativeness does not occur the fact that the mobilization and/or the class occurs is not correct. sent13: the fussing happens. sent14: the fumble does not occur and the pricing symbolatry does not occur. sent15: the fuss occurs and the indelicateness occurs. ; $proof$ = 
sent15 -> int1: the indelicateness happens.; void -> assump1: Let's assume that the shoring occurs.; int1 & assump1 -> int2: the shoring and the indelicateness occurs.; sent1 & sent9 -> int3: the reserve does not occur.; sent14 -> int4: the fumbling does not occur.; int3 & int4 -> int5: the reserving does not occur and the fumble does not occur.; sent8 & int5 -> int6: the agglomerating happens.; __UNKNOWN__