that the calling does not occur and the rum does not occur does not hold.
sent1: the population does not occur. sent2: the fact that the rum occurs is incorrect if the piddling howl does not occur and the Sudaneseness occurs. sent3: the call does not occur. sent4: not the piddling howl but the Sudaneseness occurs if the pastime does not occur. sent5: if the pastime happens then not the population but the outstaring ford occurs. sent6: if the artillery does not occur that the aponeuroticness happens and the outstaring Himantoglossum occurs is wrong. sent7: that the dislodgment does not occur is true if the fact that the aponeuroticness occurs and the outstaring Himantoglossum happens is wrong. sent8: the piddling howl does not occur. sent9: if the Sudanese does not occur the fact that the piddling howl does not occur and the rum does not occur is not true. sent10: the piddling howl does not occur if that the pastime does not occur hold. sent11: if the pastime happens then the population does not occur. sent12: the fact that the rum does not occur is true if the piddling howl and the Sudanese happens. sent13: the outstaring ford does not occur. sent14: if the fact that the dislodgment does not occur hold then not the Sudaneseness but the call occurs. sent15: if the piddling howl happens the impatientness does not occur and the pastime does not occur.
void -> assump1: Let's assume that the pastime occurs.; sent5 & assump1 -> int1: the population does not occur but the outstaring ford happens.; int1 -> int2: the outstaring ford happens.; int2 & sent13 -> int3: this is contradiction.; [assump1] & int3 -> int4: the pastime does not occur.; int4 & sent4 -> int5: the piddling howl does not occur but the Sudaneseness occurs.; int5 & sent2 -> int6: the rum does not occur.; int6 & sent3 -> hypothesis;
the fact that the call does not occur and the rum does not occur is incorrect.
 -> hypothesis;
$hypothesis$ = that the calling does not occur and the rum does not occur does not hold. ; $context$ = sent1: the population does not occur. sent2: the fact that the rum occurs is incorrect if the piddling howl does not occur and the Sudaneseness occurs. sent3: the call does not occur. sent4: not the piddling howl but the Sudaneseness occurs if the pastime does not occur. sent5: if the pastime happens then not the population but the outstaring ford occurs. sent6: if the artillery does not occur that the aponeuroticness happens and the outstaring Himantoglossum occurs is wrong. sent7: that the dislodgment does not occur is true if the fact that the aponeuroticness occurs and the outstaring Himantoglossum happens is wrong. sent8: the piddling howl does not occur. sent9: if the Sudanese does not occur the fact that the piddling howl does not occur and the rum does not occur is not true. sent10: the piddling howl does not occur if that the pastime does not occur hold. sent11: if the pastime happens then the population does not occur. sent12: the fact that the rum does not occur is true if the piddling howl and the Sudanese happens. sent13: the outstaring ford does not occur. sent14: if the fact that the dislodgment does not occur hold then not the Sudaneseness but the call occurs. sent15: if the piddling howl happens the impatientness does not occur and the pastime does not occur. ; $proof$ = 
void -> assump1: Let's assume that the pastime occurs.; sent5 & assump1 -> int1: the population does not occur but the outstaring ford happens.; int1 -> int2: the outstaring ford happens.; int2 & sent13 -> int3: this is contradiction.; [assump1] & int3 -> int4: the pastime does not occur.; int4 & sent4 -> int5: the piddling howl does not occur but the Sudaneseness occurs.; int5 & sent2 -> int6: the rum does not occur.; int6 & sent3 -> hypothesis; __DISPROVED__