the sighing latanier does not occur and the fidgeting blandishment does not occur.
sent1: the fact that that either the tug-of-war does not occur or the fidgeting blandishment does not occur or both hold if the Sudaneseness occurs hold. sent2: the lustrum happens. sent3: if the fidgeting aerology occurs then either the non-ossicularness or the Malawian or both occurs. sent4: that the drunkenness and the unwearableness occurs leads to that the fidgeting porter does not occur. sent5: if the Sudanese occurs then the tug-of-war does not occur and/or the fidgeting blandishment occurs. sent6: the carbonylness occurs and/or the viziership does not occur if the sunning visibility occurs. sent7: that the tittupping does not occur hold. sent8: not the Bond but the extroversiveness happens. sent9: that the tug-of-war does not occur and/or the fidgeting blandishment does not occur prevents that the fidgeting blandishment occurs. sent10: the sunning visibility occurs if the fidgeting porter does not occur. sent11: if the extroversiveness does not occur the fact that the sighing latanier does not occur and the fidgeting blandishment does not occur is not right. sent12: the fidgeting philistine does not occur if the sighing latanier happens. sent13: that the sighing latanier occurs causes that the Bond happens and the fidgeting philistine does not occur. sent14: the Sudaneseness occurs.
void -> assump1: Let's assume that the sighing latanier occurs.; sent13 & assump1 -> int1: the Bond happens but the fidgeting philistine does not occur.; int1 -> int2: the Bond occurs.; sent8 -> int3: the Bond does not occur.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the sighing latanier does not occur.; sent1 & sent14 -> int6: the tug-of-war does not occur and/or the fidgeting blandishment does not occur.; sent9 & int6 -> int7: the fidgeting blandishment does not occur.; int5 & int7 -> hypothesis;
that the sighing latanier does not occur and the fidgeting blandishment does not occur is not correct.
$hypothesis$ = the sighing latanier does not occur and the fidgeting blandishment does not occur. ; $context$ = sent1: the fact that that either the tug-of-war does not occur or the fidgeting blandishment does not occur or both hold if the Sudaneseness occurs hold. sent2: the lustrum happens. sent3: if the fidgeting aerology occurs then either the non-ossicularness or the Malawian or both occurs. sent4: that the drunkenness and the unwearableness occurs leads to that the fidgeting porter does not occur. sent5: if the Sudanese occurs then the tug-of-war does not occur and/or the fidgeting blandishment occurs. sent6: the carbonylness occurs and/or the viziership does not occur if the sunning visibility occurs. sent7: that the tittupping does not occur hold. sent8: not the Bond but the extroversiveness happens. sent9: that the tug-of-war does not occur and/or the fidgeting blandishment does not occur prevents that the fidgeting blandishment occurs. sent10: the sunning visibility occurs if the fidgeting porter does not occur. sent11: if the extroversiveness does not occur the fact that the sighing latanier does not occur and the fidgeting blandishment does not occur is not right. sent12: the fidgeting philistine does not occur if the sighing latanier happens. sent13: that the sighing latanier occurs causes that the Bond happens and the fidgeting philistine does not occur. sent14: the Sudaneseness occurs. ; $proof$ = 
void -> assump1: Let's assume that the sighing latanier occurs.; sent13 & assump1 -> int1: the Bond happens but the fidgeting philistine does not occur.; int1 -> int2: the Bond occurs.; sent8 -> int3: the Bond does not occur.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the sighing latanier does not occur.; sent1 & sent14 -> int6: the tug-of-war does not occur and/or the fidgeting blandishment does not occur.; sent9 & int6 -> int7: the fidgeting blandishment does not occur.; int5 & int7 -> hypothesis; __PROVED__