that the hysteroscopy does not occur triggers that both the non-dystopianness and the augmenting happens.
sent1: that the chastity happens triggers the non-dystopianness. sent2: if the fact that the secretaryship does not occur and the emphysematousness does not occur is incorrect the hysteroscopy happens. sent3: the fact that the secretaryship does not occur and the emphysematousness does not occur is wrong if the fact that the chastity does not occur is not false. sent4: that not the dystopianness but the augmenting happens is triggered by the hysteroscopy. sent5: if the chastity does not occur then the fact that not the secretaryship but the emphysematousness happens is not correct. sent6: the dystopianness yields that the subtilizing Ebro does not occur and the chastity does not occur. sent7: that the dystopianness does not occur and the augmenting happens is triggered by the chastity.
void -> assump1: Let's assume that the chastity does not occur.; sent3 & assump1 -> int1: that the secretaryship does not occur and the emphysematousness does not occur is not right.; sent2 & int1 -> int2: the hysteroscopy happens.; void -> assump2: Let's assume that the hysteroscopy does not occur.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the chastity occurs is true.; sent7 & int4 -> int5: the non-dystopianness and the augmenting happens.; [assump2] & int5 -> hypothesis;
not the subtilizing Ebro but the peg happens.
$hypothesis$ = that the hysteroscopy does not occur triggers that both the non-dystopianness and the augmenting happens. ; $context$ = sent1: that the chastity happens triggers the non-dystopianness. sent2: if the fact that the secretaryship does not occur and the emphysematousness does not occur is incorrect the hysteroscopy happens. sent3: the fact that the secretaryship does not occur and the emphysematousness does not occur is wrong if the fact that the chastity does not occur is not false. sent4: that not the dystopianness but the augmenting happens is triggered by the hysteroscopy. sent5: if the chastity does not occur then the fact that not the secretaryship but the emphysematousness happens is not correct. sent6: the dystopianness yields that the subtilizing Ebro does not occur and the chastity does not occur. sent7: that the dystopianness does not occur and the augmenting happens is triggered by the chastity. ; $proof$ = 
void -> assump1: Let's assume that the chastity does not occur.; sent3 & assump1 -> int1: that the secretaryship does not occur and the emphysematousness does not occur is not right.; sent2 & int1 -> int2: the hysteroscopy happens.; void -> assump2: Let's assume that the hysteroscopy does not occur.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the chastity occurs is true.; sent7 & int4 -> int5: the non-dystopianness and the augmenting happens.; [assump2] & int5 -> hypothesis; __PROVED__