the fact that the vacationing happens is correct.
sent1: the extenuation happens and the cautery happens. sent2: the hole does not occur but the refraining tetrose occurs. sent3: the cautery happens. sent4: that both the noncyclicness and the curatorialness happens is brought about by that the refraining wineskin does not occur. sent5: the shooting does not occur if the fact that both the non-bacchanticness and the replaying happens is not correct. sent6: if the cautery does not occur then both the vacation and the extenuation occurs. sent7: that the non-bacchanticness and the replay occurs does not hold if the virileness happens. sent8: that the purification occurs is prevented by that the hole does not occur but the artesianness occurs. sent9: if the purification does not occur then the refraining wineskin does not occur. sent10: that the prelapsarianness occurs is prevented by that both the noncyclicness and the curatorialness happens. sent11: that the icterogenicness and the virileness happens is caused by the non-prelapsarianness. sent12: if the shot does not occur then that that the multiculturalness does not occur but the granulocyticness occurs is wrong hold. sent13: if that the bacchanticness but not the shooting occurs is not true the shooting occurs. sent14: the fact that the bacchanticness and the shot happens is not right. sent15: that the bacchanticness occurs but the shooting does not occur is not right. sent16: if the extenuation occurs then the multiculturalness occurs. sent17: if the shot happens the granulocyticness happens. sent18: if that both the multiculturalness and the granulocyticness happens hold then the vacationing does not occur. sent19: that the cessation does not occur triggers that both the assembling dibucaine and the artesianness occurs.
sent1 -> int1: the extenuation happens.; int1 & sent16 -> int2: the multiculturalness occurs.; sent13 & sent15 -> int3: the shooting happens.; sent17 & int3 -> int4: the granulocyticness happens.; int2 & int4 -> int5: the multiculturalness and the granulocyticness happens.; int5 & sent18 -> hypothesis;
the vacationing occurs.
sent2 -> int6: the hole does not occur.;
$hypothesis$ = the fact that the vacationing happens is correct. ; $context$ = sent1: the extenuation happens and the cautery happens. sent2: the hole does not occur but the refraining tetrose occurs. sent3: the cautery happens. sent4: that both the noncyclicness and the curatorialness happens is brought about by that the refraining wineskin does not occur. sent5: the shooting does not occur if the fact that both the non-bacchanticness and the replaying happens is not correct. sent6: if the cautery does not occur then both the vacation and the extenuation occurs. sent7: that the non-bacchanticness and the replay occurs does not hold if the virileness happens. sent8: that the purification occurs is prevented by that the hole does not occur but the artesianness occurs. sent9: if the purification does not occur then the refraining wineskin does not occur. sent10: that the prelapsarianness occurs is prevented by that both the noncyclicness and the curatorialness happens. sent11: that the icterogenicness and the virileness happens is caused by the non-prelapsarianness. sent12: if the shot does not occur then that that the multiculturalness does not occur but the granulocyticness occurs is wrong hold. sent13: if that the bacchanticness but not the shooting occurs is not true the shooting occurs. sent14: the fact that the bacchanticness and the shot happens is not right. sent15: that the bacchanticness occurs but the shooting does not occur is not right. sent16: if the extenuation occurs then the multiculturalness occurs. sent17: if the shot happens the granulocyticness happens. sent18: if that both the multiculturalness and the granulocyticness happens hold then the vacationing does not occur. sent19: that the cessation does not occur triggers that both the assembling dibucaine and the artesianness occurs. ; $proof$ = 
sent1 -> int1: the extenuation happens.; int1 & sent16 -> int2: the multiculturalness occurs.; sent13 & sent15 -> int3: the shooting happens.; sent17 & int3 -> int4: the granulocyticness happens.; int2 & int4 -> int5: the multiculturalness and the granulocyticness happens.; int5 & sent18 -> hypothesis; __DISPROVED__