the fact that that the carposporicness and the exhaustibleness happens hold if the separation occurs is wrong.
sent1: if the disrespecting Eurobabble does not occur the prang or the lapping lees or both happens. sent2: the micaceousness does not occur. sent3: the reinstatement does not occur. sent4: the demobilization occurs if the fact that the unintelligibleness but not the facing happens is false. sent5: both the carposporicness and the dusking chum happens if the doctrinalness does not occur. sent6: the fact that the unintelligibleness occurs and the facing does not occur is wrong. sent7: the non-carposporicness results in that the dusking Cowper and the demobilization occurs. sent8: that the peripteralness happens is triggered by that the prang happens. sent9: the disrespecting Eurobabble does not occur. sent10: if the peripteralness occurs then the pinching does not occur and the disrespecting mendelevium does not occur. sent11: the uppercut is prevented by that not the separation but the inexhaustibleness occurs. sent12: if the fact that the lapping lees happens hold then the peripteralness happens. sent13: if the facing occurs the separation does not occur but the inexhaustibleness occurs. sent14: that either the dusking chum occurs or the unintelligibleness occurs or both is triggered by the non-basilicanness. sent15: that the demobilization does not occur is brought about by that the inexhaustibleness happens and the separation occurs. sent16: the doctrinalness does not occur and/or the reinstatement does not occur if the Galilean happens. sent17: if the pinching does not occur and the disrespecting mendelevium does not occur the basilicanness does not occur. sent18: if the reinstatement does not occur the doctrinalness does not occur.
void -> assump1: Let's assume that the inexhaustibleness occurs.; void -> assump2: Let's assume that the separation occurs.; assump1 & assump2 -> int1: both the inexhaustibleness and the separation occurs.; int1 & sent15 -> int2: that the demobilization does not occur is not wrong.; sent4 & sent6 -> int3: the demobilization happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the inexhaustibleness does not occur.; sent18 & sent3 -> int6: the doctrinalness does not occur.; sent5 & int6 -> int7: the carposporicness occurs and the dusking chum occurs.; int7 -> int8: the carposporicness occurs.; int5 & int8 -> int9: the carposporicness and the exhaustibleness happens.; [assump2] & int9 -> hypothesis;
the dusking Cowper but not the uppercut happens.
sent1 & sent9 -> int10: the pranging or the lapping lees or both happens.; int10 & sent8 & sent12 -> int11: the peripteralness happens.; sent10 & int11 -> int12: the pinching does not occur and the disrespecting mendelevium does not occur.; sent17 & int12 -> int13: the fact that the basilicanness does not occur hold.; sent14 & int13 -> int14: the dusking chum occurs and/or the unintelligibleness occurs.;
$hypothesis$ = the fact that that the carposporicness and the exhaustibleness happens hold if the separation occurs is wrong. ; $context$ = sent1: if the disrespecting Eurobabble does not occur the prang or the lapping lees or both happens. sent2: the micaceousness does not occur. sent3: the reinstatement does not occur. sent4: the demobilization occurs if the fact that the unintelligibleness but not the facing happens is false. sent5: both the carposporicness and the dusking chum happens if the doctrinalness does not occur. sent6: the fact that the unintelligibleness occurs and the facing does not occur is wrong. sent7: the non-carposporicness results in that the dusking Cowper and the demobilization occurs. sent8: that the peripteralness happens is triggered by that the prang happens. sent9: the disrespecting Eurobabble does not occur. sent10: if the peripteralness occurs then the pinching does not occur and the disrespecting mendelevium does not occur. sent11: the uppercut is prevented by that not the separation but the inexhaustibleness occurs. sent12: if the fact that the lapping lees happens hold then the peripteralness happens. sent13: if the facing occurs the separation does not occur but the inexhaustibleness occurs. sent14: that either the dusking chum occurs or the unintelligibleness occurs or both is triggered by the non-basilicanness. sent15: that the demobilization does not occur is brought about by that the inexhaustibleness happens and the separation occurs. sent16: the doctrinalness does not occur and/or the reinstatement does not occur if the Galilean happens. sent17: if the pinching does not occur and the disrespecting mendelevium does not occur the basilicanness does not occur. sent18: if the reinstatement does not occur the doctrinalness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the inexhaustibleness occurs.; void -> assump2: Let's assume that the separation occurs.; assump1 & assump2 -> int1: both the inexhaustibleness and the separation occurs.; int1 & sent15 -> int2: that the demobilization does not occur is not wrong.; sent4 & sent6 -> int3: the demobilization happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the inexhaustibleness does not occur.; sent18 & sent3 -> int6: the doctrinalness does not occur.; sent5 & int6 -> int7: the carposporicness occurs and the dusking chum occurs.; int7 -> int8: the carposporicness occurs.; int5 & int8 -> int9: the carposporicness and the exhaustibleness happens.; [assump2] & int9 -> hypothesis; __DISPROVED__