the tailgating and/or the autotelicness occurs.
sent1: the tradeoff does not occur. sent2: the non-downmarketness leads to that both the nonspecificness and the salvo occurs. sent3: the fact that either the endoparasiticness or that the apiculturalness does not occur or both is not false triggers the tipping napalm. sent4: the cruralness happens or the foothold does not occur or both. sent5: the shamanistness happens and/or the serendipity does not occur. sent6: the badgering occurs. sent7: if the fractionalness happens the autotelicness occurs. sent8: the fact that the intimalness does not occur is true. sent9: the spank does not occur and the salvo does not occur if the nonspecificness does not occur. sent10: either that the dissuasiveness happens or that the pant-hooting does not occur or both brings about that the heterodyning happens. sent11: that the tailgate and/or the autotelicness happens does not hold if the fractionalness does not occur. sent12: the fact that the spank does not occur and the autotelicness happens is incorrect if the tailgating happens. sent13: the squish does not occur. sent14: that the high-low-jack occurs is triggered by that the fractionalness happens. sent15: if the salvo happens the tailgate happens. sent16: the overusing Varro does not occur and the downmarketness does not occur if the hierarchicalness does not occur. sent17: the autotelicness does not occur if that the spank does not occur and the autotelicness occurs is incorrect. sent18: the forwarding occurs. sent19: either that the fractionalness occurs or that the squishing does not occur or both causes that the autotelicness happens.
sent13 -> int1: the fractionalness happens and/or the squishing does not occur.; sent19 & int1 -> int2: the autotelicness happens.; int2 -> hypothesis;
the high-low-jack happens.
$hypothesis$ = the tailgating and/or the autotelicness occurs. ; $context$ = sent1: the tradeoff does not occur. sent2: the non-downmarketness leads to that both the nonspecificness and the salvo occurs. sent3: the fact that either the endoparasiticness or that the apiculturalness does not occur or both is not false triggers the tipping napalm. sent4: the cruralness happens or the foothold does not occur or both. sent5: the shamanistness happens and/or the serendipity does not occur. sent6: the badgering occurs. sent7: if the fractionalness happens the autotelicness occurs. sent8: the fact that the intimalness does not occur is true. sent9: the spank does not occur and the salvo does not occur if the nonspecificness does not occur. sent10: either that the dissuasiveness happens or that the pant-hooting does not occur or both brings about that the heterodyning happens. sent11: that the tailgate and/or the autotelicness happens does not hold if the fractionalness does not occur. sent12: the fact that the spank does not occur and the autotelicness happens is incorrect if the tailgating happens. sent13: the squish does not occur. sent14: that the high-low-jack occurs is triggered by that the fractionalness happens. sent15: if the salvo happens the tailgate happens. sent16: the overusing Varro does not occur and the downmarketness does not occur if the hierarchicalness does not occur. sent17: the autotelicness does not occur if that the spank does not occur and the autotelicness occurs is incorrect. sent18: the forwarding occurs. sent19: either that the fractionalness occurs or that the squishing does not occur or both causes that the autotelicness happens. ; $proof$ = 
sent13 -> int1: the fractionalness happens and/or the squishing does not occur.; sent19 & int1 -> int2: the autotelicness happens.; int2 -> hypothesis; __PROVED__