the fact that the fact that the rallying does not occur but the summarization occurs does not hold is true.
sent1: if the tubelessness happens the fact that the port does not occur and/or the vestiariness does not occur is not true. sent2: the summarization and the vestiariness happens. sent3: the vestiariness occurs. sent4: the intertribalness happens and the hecatomb happens. sent5: if the casting occurs then the fact that the tubeless does not occur and the gearing teacup does not occur is incorrect. sent6: the fact that the casting happens but the tubeless does not occur is false if the gearing teacup occurs. sent7: if the Laoness does not occur that not the rallying but the summarization happens is not right. sent8: the gearing teacup occurs and the gathering happens if the oratory does not occur. sent9: the Laoness happens. sent10: the fact that the summarization does not occur is right if that the port does not occur and/or the vestiariness does not occur is not right. sent11: if that the tubelessness does not occur and the gearing teacup does not occur is incorrect then the fact that the tubelessness occurs is not false. sent12: the non-downstreamness and the impaling happens if the Lao does not occur. sent13: the Lao but not the rallying occurs. sent14: either the port does not occur or the Laoness does not occur or both if the vestiariness does not occur.
sent13 -> int1: the rallying does not occur.; sent2 -> int2: the summarization happens.; int1 & int2 -> hypothesis;
the non-downstreamness and the impaling happens.
$hypothesis$ = the fact that the fact that the rallying does not occur but the summarization occurs does not hold is true. ; $context$ = sent1: if the tubelessness happens the fact that the port does not occur and/or the vestiariness does not occur is not true. sent2: the summarization and the vestiariness happens. sent3: the vestiariness occurs. sent4: the intertribalness happens and the hecatomb happens. sent5: if the casting occurs then the fact that the tubeless does not occur and the gearing teacup does not occur is incorrect. sent6: the fact that the casting happens but the tubeless does not occur is false if the gearing teacup occurs. sent7: if the Laoness does not occur that not the rallying but the summarization happens is not right. sent8: the gearing teacup occurs and the gathering happens if the oratory does not occur. sent9: the Laoness happens. sent10: the fact that the summarization does not occur is right if that the port does not occur and/or the vestiariness does not occur is not right. sent11: if that the tubelessness does not occur and the gearing teacup does not occur is incorrect then the fact that the tubelessness occurs is not false. sent12: the non-downstreamness and the impaling happens if the Lao does not occur. sent13: the Lao but not the rallying occurs. sent14: either the port does not occur or the Laoness does not occur or both if the vestiariness does not occur. ; $proof$ = 
sent13 -> int1: the rallying does not occur.; sent2 -> int2: the summarization happens.; int1 & int2 -> hypothesis; __DISPROVED__