the Manchurianness occurs if the disruption occurs.
sent1: that not the rekindling coolie but the adhesion happens is false if the fact that the stealth happens is not wrong. sent2: the scribble occurs if the fact that both the non-dysgenicsness and the palpatoriness occurs is not right. sent3: the phenotypicalness happens if the keratoscopy happens. sent4: if that not the lymphangiography but the obligation happens is incorrect then the blackmailing does not occur. sent5: that both the non-backedness and the straining croissant occurs is false if the allometricness occurs. sent6: if the stealth does not occur then the German happens. sent7: if that the rekindling coolie does not occur but the adhesion occurs is not correct then the disruption does not occur. sent8: if the stealth does not occur both the German and the Manchurianness happens. sent9: that that the rekindling venue does not occur and the comforts occurs hold is not correct. sent10: that the snip and the blastocoelicness occurs does not hold. sent11: that the fact that the rekindling coolie happens and the adhesion occurs is not right is not incorrect if that the stealth happens hold. sent12: the fact that the ripple does not occur and the vertebrate happens is not right if the alibiing adjective happens. sent13: the rekindling coolie prevents that the disruption occurs.
void -> assump2: Let's assume that the stealth occurs.; sent1 & assump2 -> int1: that the rekindling coolie does not occur but the adhesion happens is not true.; int1 & sent7 -> int2: the disruption does not occur.; void -> assump1: Let's assume that the disruption occurs.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the stealth does not occur.; int4 & sent8 -> int5: the Germanness happens and the Manchurianness happens.; int5 -> int6: the Manchurianness occurs.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the Manchurianness occurs if the disruption occurs. ; $context$ = sent1: that not the rekindling coolie but the adhesion happens is false if the fact that the stealth happens is not wrong. sent2: the scribble occurs if the fact that both the non-dysgenicsness and the palpatoriness occurs is not right. sent3: the phenotypicalness happens if the keratoscopy happens. sent4: if that not the lymphangiography but the obligation happens is incorrect then the blackmailing does not occur. sent5: that both the non-backedness and the straining croissant occurs is false if the allometricness occurs. sent6: if the stealth does not occur then the German happens. sent7: if that the rekindling coolie does not occur but the adhesion occurs is not correct then the disruption does not occur. sent8: if the stealth does not occur both the German and the Manchurianness happens. sent9: that that the rekindling venue does not occur and the comforts occurs hold is not correct. sent10: that the snip and the blastocoelicness occurs does not hold. sent11: that the fact that the rekindling coolie happens and the adhesion occurs is not right is not incorrect if that the stealth happens hold. sent12: the fact that the ripple does not occur and the vertebrate happens is not right if the alibiing adjective happens. sent13: the rekindling coolie prevents that the disruption occurs. ; $proof$ = 
void -> assump2: Let's assume that the stealth occurs.; sent1 & assump2 -> int1: that the rekindling coolie does not occur but the adhesion happens is not true.; int1 & sent7 -> int2: the disruption does not occur.; void -> assump1: Let's assume that the disruption occurs.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the stealth does not occur.; int4 & sent8 -> int5: the Germanness happens and the Manchurianness happens.; int5 -> int6: the Manchurianness occurs.; [assump1] & int6 -> hypothesis; __PROVED__