the emancipation happens.
sent1: if the photomechanicalness does not occur then the fact that that the tincturing basketball does not occur and the lentenness does not occur is incorrect hold. sent2: the fact that the tincturing basketball does not occur hold. sent3: the falling incentive does not occur if that not the unrhythmicalness but the falling incentive happens is incorrect. sent4: the tincturing pyrrhic does not occur. sent5: the endocrine does not occur. sent6: if the unrhythmicalness does not occur the tincturing basketball does not occur and the lentenness does not occur. sent7: if the falling Marquand does not occur the adiabaticness does not occur and the Sadduceanness does not occur. sent8: if that the bell happens hold then the exocentricness occurs. sent9: the emancipation happens if the unrhythmicalness occurs. sent10: the redecorating chemistry does not occur and the interlocking does not occur. sent11: if the fact that the interrelating organza happens is not incorrect then the trusteeship happens. sent12: the photomechanicalness does not occur. sent13: the phlegminess does not occur.
void -> assump1: Let's assume that that the unrhythmicalness does not occur is not false.; sent6 & assump1 -> int1: the tincturing basketball does not occur and the lentenness does not occur.; sent1 & sent12 -> int2: the fact that the tincturing basketball does not occur and the lentenness does not occur is not true.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the unrhythmicalness occurs.; int4 & sent9 -> hypothesis;
the falling incentive does not occur and the bewaring does not occur.
$hypothesis$ = the emancipation happens. ; $context$ = sent1: if the photomechanicalness does not occur then the fact that that the tincturing basketball does not occur and the lentenness does not occur is incorrect hold. sent2: the fact that the tincturing basketball does not occur hold. sent3: the falling incentive does not occur if that not the unrhythmicalness but the falling incentive happens is incorrect. sent4: the tincturing pyrrhic does not occur. sent5: the endocrine does not occur. sent6: if the unrhythmicalness does not occur the tincturing basketball does not occur and the lentenness does not occur. sent7: if the falling Marquand does not occur the adiabaticness does not occur and the Sadduceanness does not occur. sent8: if that the bell happens hold then the exocentricness occurs. sent9: the emancipation happens if the unrhythmicalness occurs. sent10: the redecorating chemistry does not occur and the interlocking does not occur. sent11: if the fact that the interrelating organza happens is not incorrect then the trusteeship happens. sent12: the photomechanicalness does not occur. sent13: the phlegminess does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the unrhythmicalness does not occur is not false.; sent6 & assump1 -> int1: the tincturing basketball does not occur and the lentenness does not occur.; sent1 & sent12 -> int2: the fact that the tincturing basketball does not occur and the lentenness does not occur is not true.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the unrhythmicalness occurs.; int4 & sent9 -> hypothesis; __PROVED__