that the libidinalness does not occur yields that the backflow does not occur.
sent1: that the knitting does not occur and the indecentness does not occur is wrong. sent2: the fact that the backflow happens is correct if that the warpath does not occur and the deticking hydrazine does not occur does not hold. sent3: if the Mandaeanness does not occur the fact that both the offsetting Micah and the non-nonmigratoriness happens is not correct. sent4: if the libidinalness does not occur the fact that the warpath does not occur and the deticking hydrazine occurs is incorrect. sent5: that the frisking Cuquenan does not occur and the hatlessness occurs does not hold. sent6: if the deticking protamine does not occur the fact that that both the non-hypertonicness and the summarizing elsholtzia happens is not incorrect does not hold. sent7: the fact that the warpath does not occur and the deticking hydrazine does not occur does not hold if the libidinalness does not occur. sent8: the backflow does not occur if the libidinalness happens. sent9: the backflow does not occur if that the warpath does not occur and the deticking hydrazine does not occur is false. sent10: if that the spanking does not occur and the Homer does not occur is incorrect the beneficentness occurs. sent11: if the fact that the grassiness does not occur is not incorrect the summarizing suppressant happens. sent12: the summarizing suppressant happens. sent13: if the deticking hydrazine occurs then the backflow does not occur. sent14: the backflow happens if the libidinalness does not occur. sent15: the opening does not occur.
void -> assump1: Let's assume that that the libidinalness does not occur is not wrong.; sent7 & assump1 -> int1: that the warpath does not occur and the deticking hydrazine does not occur is wrong.; sent9 & int1 -> int2: that the backflow does not occur is correct.; [assump1] & int2 -> hypothesis;
$hypothesis$ = that the libidinalness does not occur yields that the backflow does not occur. ; $context$ = sent1: that the knitting does not occur and the indecentness does not occur is wrong. sent2: the fact that the backflow happens is correct if that the warpath does not occur and the deticking hydrazine does not occur does not hold. sent3: if the Mandaeanness does not occur the fact that both the offsetting Micah and the non-nonmigratoriness happens is not correct. sent4: if the libidinalness does not occur the fact that the warpath does not occur and the deticking hydrazine occurs is incorrect. sent5: that the frisking Cuquenan does not occur and the hatlessness occurs does not hold. sent6: if the deticking protamine does not occur the fact that that both the non-hypertonicness and the summarizing elsholtzia happens is not incorrect does not hold. sent7: the fact that the warpath does not occur and the deticking hydrazine does not occur does not hold if the libidinalness does not occur. sent8: the backflow does not occur if the libidinalness happens. sent9: the backflow does not occur if that the warpath does not occur and the deticking hydrazine does not occur is false. sent10: if that the spanking does not occur and the Homer does not occur is incorrect the beneficentness occurs. sent11: if the fact that the grassiness does not occur is not incorrect the summarizing suppressant happens. sent12: the summarizing suppressant happens. sent13: if the deticking hydrazine occurs then the backflow does not occur. sent14: the backflow happens if the libidinalness does not occur. sent15: the opening does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the libidinalness does not occur is not wrong.; sent7 & assump1 -> int1: that the warpath does not occur and the deticking hydrazine does not occur is wrong.; sent9 & int1 -> int2: that the backflow does not occur is correct.; [assump1] & int2 -> hypothesis; __PROVED__