the officializing disposal does not occur and the scanning happens.
sent1: the Frenchness does not occur if both the give and the psychometricness occurs. sent2: the fact that the officializing disposal occurs and the scanning occurs does not hold. sent3: the endorsing occurs. sent4: the shakedownness happens if the bettering occurs. sent5: the giving happens if the endorsing happens. sent6: if the tumble and the flagging occurs then the sunray does not occur. sent7: that the avarice happens hold. sent8: that not the officializing disposal but the scanning occurs is wrong if the Frenchness does not occur. sent9: the fact that both the officializing disposal and the scanning happens is not right if the Frenchness does not occur. sent10: if the realigning promethazine does not occur then the elopement does not occur. sent11: that the elopement does not occur and the whisking does not occur does not hold. sent12: the elopement does not occur if the fact that both the stacking and the realigning promethazine happens is not correct. sent13: that the elopement but not the whisk happens is false. sent14: if the fact that the elopement does not occur and the whisk does not occur is not true then the elopement happens. sent15: if the psychometricness does not occur then that the stacking happens and the realigning promethazine happens is incorrect.
void -> assump1: Let's assume that the psychometricness does not occur.; sent15 & assump1 -> int1: the fact that the fact that both the stacking and the realigning promethazine happens is true is false.; int1 & sent12 -> int2: the elopement does not occur.; sent14 & sent11 -> int3: the elopement occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the psychometricness occurs.; sent5 & sent3 -> int6: the giving happens.; int5 & int6 -> int7: both the give and the psychometricness occurs.; int7 & sent1 -> int8: the French does not occur.; int8 & sent8 -> hypothesis;
$hypothesis$ = the officializing disposal does not occur and the scanning happens. ; $context$ = sent1: the Frenchness does not occur if both the give and the psychometricness occurs. sent2: the fact that the officializing disposal occurs and the scanning occurs does not hold. sent3: the endorsing occurs. sent4: the shakedownness happens if the bettering occurs. sent5: the giving happens if the endorsing happens. sent6: if the tumble and the flagging occurs then the sunray does not occur. sent7: that the avarice happens hold. sent8: that not the officializing disposal but the scanning occurs is wrong if the Frenchness does not occur. sent9: the fact that both the officializing disposal and the scanning happens is not right if the Frenchness does not occur. sent10: if the realigning promethazine does not occur then the elopement does not occur. sent11: that the elopement does not occur and the whisking does not occur does not hold. sent12: the elopement does not occur if the fact that both the stacking and the realigning promethazine happens is not correct. sent13: that the elopement but not the whisk happens is false. sent14: if the fact that the elopement does not occur and the whisk does not occur is not true then the elopement happens. sent15: if the psychometricness does not occur then that the stacking happens and the realigning promethazine happens is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the psychometricness does not occur.; sent15 & assump1 -> int1: the fact that the fact that both the stacking and the realigning promethazine happens is true is false.; int1 & sent12 -> int2: the elopement does not occur.; sent14 & sent11 -> int3: the elopement occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the psychometricness occurs.; sent5 & sent3 -> int6: the giving happens.; int5 & int6 -> int7: both the give and the psychometricness occurs.; int7 & sent1 -> int8: the French does not occur.; int8 & sent8 -> hypothesis; __DISPROVED__