the concocting Vivaldi yields that the bet does not occur and the expensing does not occur.
sent1: the charging happens. sent2: the roping chokedamp occurs. sent3: the bet does not occur if the celebratoriness happens and the concocting Vivaldi occurs. sent4: the glaring flexor does not occur and the apoplectiformness does not occur. sent5: the glaring Cadmus occurs. sent6: the zygoticness does not occur. sent7: the roping dynamo does not occur and the marrying does not occur. sent8: if the granuliferousness happens then the glaring Cadmus does not occur and the diminution does not occur. sent9: the herbivorousness happens and the wetting happens. sent10: the celebratoriness happens. sent11: the expensing does not occur. sent12: the incalculableness does not occur and the glaring stationery does not occur. sent13: the geminating spendthrift happens and the gift occurs. sent14: the thermometry does not occur and the roping Teller does not occur. sent15: the concocting surge happens. sent16: the southernness does not occur.
void -> assump1: Let's assume that the concocting Vivaldi happens.; sent10 & assump1 -> int1: the celebratoriness and the concocting Vivaldi occurs.; int1 & sent3 -> int2: the betting does not occur.; int2 & sent11 -> int3: the betting does not occur and the expensing does not occur.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the concocting Vivaldi yields that the bet does not occur and the expensing does not occur. ; $context$ = sent1: the charging happens. sent2: the roping chokedamp occurs. sent3: the bet does not occur if the celebratoriness happens and the concocting Vivaldi occurs. sent4: the glaring flexor does not occur and the apoplectiformness does not occur. sent5: the glaring Cadmus occurs. sent6: the zygoticness does not occur. sent7: the roping dynamo does not occur and the marrying does not occur. sent8: if the granuliferousness happens then the glaring Cadmus does not occur and the diminution does not occur. sent9: the herbivorousness happens and the wetting happens. sent10: the celebratoriness happens. sent11: the expensing does not occur. sent12: the incalculableness does not occur and the glaring stationery does not occur. sent13: the geminating spendthrift happens and the gift occurs. sent14: the thermometry does not occur and the roping Teller does not occur. sent15: the concocting surge happens. sent16: the southernness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the concocting Vivaldi happens.; sent10 & assump1 -> int1: the celebratoriness and the concocting Vivaldi occurs.; int1 & sent3 -> int2: the betting does not occur.; int2 & sent11 -> int3: the betting does not occur and the expensing does not occur.; [assump1] & int3 -> hypothesis; __PROVED__