that the refresher does not occur and the crenel does not occur does not hold.
sent1: the prismaticness happens and the wrack occurs if the binding Methodism does not occur. sent2: the binding Methodism does not occur. sent3: the spelldown does not occur if the episode does not occur. sent4: the fact that both the binding Descurainia and the uncorking busload happens is incorrect if the aeroembolism does not occur. sent5: both the stylization and the sigmoidness occurs. sent6: that the spelldown does not occur results in that the refresher does not occur and the crenel does not occur. sent7: the stylization does not occur if that the binding Descurainia and the uncorking busload happens does not hold. sent8: if the aeroembolism occurs and the wrack occurs then the episode does not occur. sent9: if the fact that the congenialness does not occur is right the skanking does not occur. sent10: the binding halo and the atonicness happens.
void -> assump1: Let's assume that the aeroembolism does not occur.; sent4 & assump1 -> int1: that the binding Descurainia and the uncorking busload occurs is not true.; int1 & sent7 -> int2: that the stylization does not occur is not false.; sent5 -> int3: the stylization occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the aeroembolism happens.; sent1 & sent2 -> int6: the prismaticness occurs and the wrack happens.; int6 -> int7: the wrack occurs.; int5 & int7 -> int8: both the aeroembolism and the wrack occurs.; int8 & sent8 -> int9: the episode does not occur.; int9 & sent3 -> int10: the spelldown does not occur.; int10 & sent6 -> hypothesis;
$hypothesis$ = that the refresher does not occur and the crenel does not occur does not hold. ; $context$ = sent1: the prismaticness happens and the wrack occurs if the binding Methodism does not occur. sent2: the binding Methodism does not occur. sent3: the spelldown does not occur if the episode does not occur. sent4: the fact that both the binding Descurainia and the uncorking busload happens is incorrect if the aeroembolism does not occur. sent5: both the stylization and the sigmoidness occurs. sent6: that the spelldown does not occur results in that the refresher does not occur and the crenel does not occur. sent7: the stylization does not occur if that the binding Descurainia and the uncorking busload happens does not hold. sent8: if the aeroembolism occurs and the wrack occurs then the episode does not occur. sent9: if the fact that the congenialness does not occur is right the skanking does not occur. sent10: the binding halo and the atonicness happens. ; $proof$ = 
void -> assump1: Let's assume that the aeroembolism does not occur.; sent4 & assump1 -> int1: that the binding Descurainia and the uncorking busload occurs is not true.; int1 & sent7 -> int2: that the stylization does not occur is not false.; sent5 -> int3: the stylization occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the aeroembolism happens.; sent1 & sent2 -> int6: the prismaticness occurs and the wrack happens.; int6 -> int7: the wrack occurs.; int5 & int7 -> int8: both the aeroembolism and the wrack occurs.; int8 & sent8 -> int9: the episode does not occur.; int9 & sent3 -> int10: the spelldown does not occur.; int10 & sent6 -> hypothesis; __DISPROVED__